1. J. Anderson, Private communication.
2. An introduction to ASL;Astesiano,1986
3. Operational specification as the basis for specification validation;Balzer,1983
4. A knowledge-based system for acquiring the conceptual structure of a diagnostic expert system;Benett;J. Automated Reasoning,1985