TY  - CHAP
A1  - Möller, Bernhard
A2  - Möller, Bernhard
T1  - Relations as a program development language
T2  - 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/17337
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-173371
SN  - 0-444-89184-6
SP  - 373
EP  - 397
PB  - North-Holland
CY  - Amsterdam
ER  -