Program Construction
F. L. Bauer; E. W. Dijkstra; S. L. Gerhart; D. Gries; M. Griffiths; J. V. Guttag; J. J. Horning; Susan Speer Owicki; C. Pair; H. Partsch; P. Pepper; M. Wirsing; Hans Wossner
Springer-Verlag Berlin and Heidelberg GmbH Co. K
1979
nidottu