M. Auguston, "FORMAN -- A Program Formal Annotation Language"

[Proceedings] (1991) Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia, May 1991, IEEE Computer Society Press   Mikhail Augustson

Languages mentioned FORMAN {1991}