*0011003668
*00520190130100302.0
*007ta
*008130917s2004    xx#           000 u eng d
*00900678caa a2200193 c 4500
*019  $bk
*035  $a(EXLNZ-47BIBSYS_NETWORK)990410924144702201
*035  $a(NO-TrBIB)041092414
*035  $a041092414-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aJohnsen, Einar Broch$d1970-$0(NO-TrBIB)90812108$_32554100
*24510$aObject-oriented specification and open distributed systems$cEinar Broch Johnsen and Olaf Owe
*260  $cc2004
*300  $aS. 137-164
*7001 $aOwe, Olaf$0(NO-TrBIB)90284769$_21004800
*7730 $tFrom object-orientation to formal methods$dBerlin : Springer, cop. 2004$z354021366x$w990410915404702201
*901  $a80
*999  $aoai:nb.bibsys.no:990410924144702202$b2021-10-31T03:13:38Z$z990410924144702202
^