*001503405
*00520250613140531.0
*007cr
*007ta
*008121215s1995    no            000 0 eng d
*00901188cam a2200301 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999602844194702201
*035  $a(NO-LaBS)13883120(bibid)
*035  $a(NO-TrBIB)123946271
*035  $a(NO-TrBIB)960284419
*035  $a960284419-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a519.681.2
*1001 $aHaveraaen, Magne$d1958-$0(NO-TrBIB)90203408$_35724700
*24510$aGuarded algebras and data type specification$cMagne Haveraaen, Eric G. Wagner
*260  $aBergen$bDepartment of Informatics, University of Bergen$c1995
*300  $a34 s.
*4901 $aReports in informatics$vreport no. 108
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2012-11-19
*650 7$aAlgebraisk spesifikasjon$2tekord$_189942200
*650 7$aDatatyper$2tekord$_190089700
*653  $adatatyper$aalgebraisk$aspesifikasjon$_79232200
*7001 $aWagner, Eric G.$0(NO-TrBIB)90885613$_79232300
*830 0$aReports in informatics (trykt utg.)$x0333-3590$vreport no. 108$w998711258704702201$_14253500
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2012111906071$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999602844194702202$b2021-11-14T20:26:02Z$z999602844194702202
^