Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia, May 1991, IEEE Computer Society Press

• M. Auguston, (1991) M. Auguston, "FORMAN -- A Program Formal Annotation Language"