Stephen George Presland
-
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering