Program Construction: International Summer School

Bauer, F.L ; Dijkstra, E. W ; Broy, M ; Gerhart, S. L ; Gries, D ; Griffiths, M ; Guttag, J. V ; Horning, J. J ; Owicki, S. S ; Pair, C Pair, C. ; Griffiths, M. ; Broy, Manfred ; Bauer, Friedrich L. ; Dijkstra, E. W. ; Owicki, S. S. ; Pepper, P. ; Gerhart, S. L. ; Gries, D. ; Wirsing, M. ; Guttag, J. V. ; Partsch, H. ; Wössner, H. ; Horning, J. J.

Berlin, Heidelberg: Springer Berlin / Heidelberg 1979

Texto completo disponível