Alan R. Flora-Holmquist
发表
Mandayam K. Srivas,
Muffy Calder,
George Cleland,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Mark G. Staskauskas,
Alan R. Flora-Holmquist,
Edward Morton,
1997,
Bell Labs Technical Journal.
Mark G. Staskauskas,
Alan R. Flora-Holmquist,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.