01251nam2-2200361---450-9900003513002033160035130USA010035130(ALEPH)000035130USA01003513020010307d1985----km-y0itay0103----baengDE||||||||001yyMathematical foundations of software developmentcolloquium on trees in algebra and programming (CAAP '85)BerlinSpringer Verlagc1985XIII, 418 pdiagr.24 cmLecture notes in computer science1852001Lecture notes in computer science18500100351292001TAPSOFT001.6425International joint conference on theory and practice of software development <Berlino; 1985>543210ITsalbcISBD990000351300203316001 LNCS 18514054001 LNCS00101517BKSCIPATTY9020010307USA011339PATTY9020010307USA01134220020403USA011643PATRY9020040406USA011624Mathematical foundations of software development878454UNISA