TY  - CHAP
A1  - Berghammer, Rudolf
A1  - Ehler, Herbert
A1  - Möller, Bernhard
A2  - Broy, Manfred
A2  - Jones, C. B.
T1  - On the refinement of nondeterministic recursive routines by transformation
T2  - Programming concepts and methods: proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2 - 5 April, 1990
Y1  - 1990
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/16227
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-162272
SN  - 0-444-88545-5
SP  - 53
EP  - 71
PB  - North-Holland
CY  - Amsterdam
ER  -