Jones, C. B., Jones, K., Lindsay, P. A. & Moore, R.view all authors (1990). Mural: A formal development support system. London: Springer-Verlag.