Vadera, S, Meziane, F, "Tools for producing formal specifications : a view of current architectures and future directions", Annals of Software Engineering, 1997