mural -- A Formal Development Support System (2004)

by C. B. Jones, K. D. Jones, P. A. Lindsay, R. Moore, J. Bicarregui, M. Elvang-Gøransson, R. E. Fields, R. Kneuper, B. Ritchie, A. C. Wills