- Search

- Kontakt

On the refinement of nondeterministic recursive routines by transformation

R. Berghammer, H. Ehler, B. Möller
published 1990 In M. Broy, C.B. Jones (eds.): Programming concepts and methods.
pp. 53-71, 1990.
North-Holland.