Stef. W. Postma
Univ. Natal, Rep. S.A.
A program language-wise implementation of algorithms from the finite automata and formal language theory.
FEA: a formal English subset for Algebra/Assertions
ACM SIGPLAN Notices