Guttag, J. V. books & textbook
Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)
Guttag, John V. Horning, James J. Garland, S.J. Jones, K.D. Modet, A. Wing, J.M.
Springer /2011-10-01 Paperback / 263 Pages
isbn-10: 1461276365 / isbn-13: 9781461276364
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Bauer, F.L. Dijkstra, E.W. Gerhart, S.L. Gries, D. Griffiths, M. Guttag, J. V. Horning, J. J. Owicki, S. S. Pair, C. Partsch, H. Pepper, P. Wirsing, M. Wössner, H. Bauer, F.L. Broy, M.
Springer /1979-06-01 Paperback / 664 Pages
isbn-10: 354009251X / isbn-13: 9783540092513
