000 00258nam a2200109 4500
008 160616s 000 0
245 _aTemporal logic of programs
100 _aKroger, Fred
500 _aD6,8(B) M72
942 _cBK
_2BK6665
080 _a681.3.06 KRO
999 _c6665
_d6665