000
00258nam a2200109 4500
008
160616s 000 0
245
_a
Temporal logic of programs
100
_a
Kroger, Fred
500
_a
D6,8(B) M72
942
_c
BK
_2
BK6665
080
_a
681.3.06 KRO
999
_c
6665
_d
6665