Munich project CIP - Bauer F L; Berghammer R; Broy M (Berlin Springer-verlag, 1985)
Appendix 235-275p.; Bibliography 228-234p.
Keywords: Computer science