Mural: A Formal Development Support System (1991)

by C B Jones, K D Jones, P A Lindsay, R Moore