- Suche

- Kontakt

Systematic derivation of pointer algorithms

B. Möller
In A. Reuter (ed.): GI - 20. Jahrestagung II. Informatik-Fachberichte 258.
pp. 537-547, 1990.
Springer-Verlag.