James Baldwin Domingo
Transition diagrams as a specification of the MUMPS language: revised and evaluated for the 1990 standard
Dissertation
University of California at Davis CA (1992)
William J. Harvey and Robert E. Williamson
Interactive Specification Using VA FileMan
Proceedings of Workshop on Specification of Behavioral Semantics in Object Oriented Information Modeling, OOPSLA (1993), pp53-55