Go to our GitHub Profile
Follow @overturetool
“mural: a Formal Development Support System” C B Jones, K D Jones, P A Lindsay and R Moore, Springer Verlag, 1991. Regrettably, some screen dumps are missing from the current PDF.