*001115362
*00520250613114822.0
*007cr
*007ta
*008130917s2002    no            000 u eng d
*00901191cam a2200277 c 4500
*019  $bl
*020  $a8273682536$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990226293944702201
*035  $a(NO-LaBS)14272580(bibid)
*035  $a(NO-TrBIB)022629394
*035  $a(NO-TrBIB)092815111
*035  $a022629394-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aJohnsen, Einar Broch$d1970-$0(NO-TrBIB)90812108$_32554100
*24510$aComposition and refinement for partial object specifications (full version)$cEinar B. Johnsen and Olaf Owe
*260  $aOslo$bUniversity of Oslo, Department of Informatics$c2002
*300  $a18 bl.$bfig.
*4901 $aResearch report / University of Oslo, Department of Informatics$v301
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-06-15
*588  $aKatalogisert etter omslag
*7001 $aOwe, Olaf$0(NO-TrBIB)90284769$_21004800
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v301$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2009061504002$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:990226293944702202$b2021-11-14T19:49:35Z$z990226293944702202
^