TY  - BOOK
TI  - Mathematics of program construction
T2  - Lecture notes in computer science
SN  - 0387513051 (U.S. : alk. paper)
PY  - 1989///
CY  - Berlin ; | New York
PB  - Springer-Verlag
N1  - Papers presented at the Conference on Mathematics of Program Construction
ER  -