Alan R. Flora-Holmquist

Experiences in applying formal methods to the analysis of software and system requirements

Mandayam K. Srivas, Muffy Calder, George Cleland, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

The virtual finite-state machine design and implementation paradigm

Mark G. Staskauskas, Alan R. Flora-Holmquist, Edward Morton, 1997, Bell Labs Technical Journal.

Formal validation of virtual finite state machines

Mark G. Staskauskas, Alan R. Flora-Holmquist, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.