TY  - BOOK
AU  - van de Snepscheut, J L A. Ed.
TI  - Mathematics of Program Construction: Proc. 375th Ann. Groningen Univ. Int. Conf. Netherlands,1989
SN  - 3540513051
CY  - Berlin
KW  - Mathematics
KW  - Program
KW  - Construction
ER  -