TY  - BOOK
A2  - Möller, Bernhard
T1  - Constructing programs from specifications: proceedings of the IFIP TC2/WG 2.1 Working Conference on Construction Programs from Specifications, Pacific Grove, CA, USA, 13 - 16 May 1991
Y1  - 1991
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/17336
SN  - 0-444-89184-6
PB  - North-Holland
CY  - Amsterdam u.a.
ER  -