*001457731
*00520160622162522.0
*007ta
*008101015s1989    no#           000 0 eng d
*00900963cam a2200277 c 4500
*015  $a8900675$2nbf
*019  $bl
*020  $a8273680274
*035  $a(EXLNZ-47BIBSYS_NETWORK)998900181464702201
*035  $a(NO-LaBS)14684858(bibid)
*035  $a(NO-TrBIB)890018146
*035  $a890018146-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cno
*08274$a005.1$qNO-OsNB$24/nor
*1001 $aDahl, Ole-Johan$d1931-2002$0(NO-TrBIB)90268340$_21004600
*24510$aGenerator induction in order sorted algebras$cOle-Johan Dahl and Olaf Owe
*260  $a[Oslo]$c1989
*300  $a17 bl.
*4901 $aResearch report / Department of Informatics, University of Oslo$v122
*653  $afunctional$aprogramming$aalgebraic$aspecification$_74746200
*7001 $aOwe, Olaf$0(NO-TrBIB)90284769$_21004800
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v122$w998010812114702201$_17153800
*901  $a80
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:998900181464702202$b2021-11-14T20:22:15Z$z998900181464702202
^