Stephen J. Garland <garland @ lcs . mit . edu> (email mangled to prevent spamming) MIT Laboratory for Computer Science 545 Technology Square Cambridge, MA 02139 USA
Abstract:
methods, languages, and tools for the practical use of formal specifications