Apt, K.R. books & textbook
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. Paul, Manfred Apt, K.R. Astesiano, E. Bjorner, D. Broy, M. Cardelli, L. Mosses, P.D. Olderog, E.-R. Wirsing, M.
Springer /1991-10-04 Hardcover / 518 Pages
isbn-10: 3540539611 / isbn-13: 9783540539612
