1. Aristotle (−350) Organan.
2. A Computational Logic;Boyer,1979
3. goal: oriented command language for interactive proof construction;Bulnes,1978
4. A transformation system for developing recursive programs;Burstall;JACM,1977
5. Practical formal semantic definition and verification systems;Cartwright,1977