TY  - BOOK
AU  - Dijkstra, E.W (et-al)
TI  - Predicate calculus and Program semantics :Lecture notes in computer science
SN  - 0000387969578
U1  - 004.0151 
PB  - Springer: Tokyo
KW  - predicate calculus :
ER  -