*00199498
*00520250613134200.0
*007cr
*007ta
*008101015s1996    no            000 0 eng d
*00901226cam a2200289 c 4500
*019  $bl
*020  $a8273681424$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999713461274702201
*035  $a(NO-LaBS)14322814(bibid)
*035  $a(NO-TrBIB)093307942
*035  $a(NO-TrBIB)971346127
*035  $a971346127-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aDahl, Ole-Johan$d1931-2002$0(NO-TrBIB)90268340$_21004600
*24510$aSubtyping and constructive specification$cOle-Johan Dahl, Olaf Owe and Tore J. Bastiansen
*260  $a[Oslo]$bUniversity of Oslo, Department of Informatics$c1996
*300  $a38 s.
*4901 $aResearch report / University of Oslo, Department of Informatics$v228
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2008-08-11
*588  $aKatalogisert etter omslag
*7001 $aBastiansen, Tore Jahn$0(NO-TrBIB)90830930$_17153700
*7001 $aOwe, Olaf$0(NO-TrBIB)90284769$_21004800
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v228$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2008081100073$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999713461274702202$b2021-11-14T19:48:22Z$z999713461274702202
^