Auguston, M. "Lightweight semantics models for program testing and debugging automation" pp23-31

Proceedings of the 7th Monterey Workshop on (2000) Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000   Mikhail Augustson

Languages mentioned FORMAN {1991}