TY  - BOOK
AU  -  DIJKSTRA, Edsger\-\\Wybe;  SCHOLTEN, Carel\-\\S.
TI  -  Predicate calculus and program semantics
T2  -  Texts and Monographs in Computer Science\\Springer\
SN  -  0-387-96957-8;  3-540-96957-8
CY  -  New York;  Berlin;  Heidelberg
KW  -  documentație
AV  -  III 13209
ER  -