1. M. D. Aagaard, R. B. Jones, and C.-J. H. Seger, ‘Combining theorem proving and trajectory evaluation in an industrial environment,’ in ACM/IEEE Design Automation Conference, Proceedings (1998), pp. 538–541.
2. Lect Notes Comput Sci;M. D. Aagaard,1999
3. Lect Notes Comput Sci;S. Agerholm,1999
4. S. Agerholm and H. Skjødt, Automating a model checker for recursive modal assertions in HOL. Technical Report DAIMI IR-92, Computer Science Department (Aarhus University, 1990).
5. Lect Notes Comput Sci;W. Ahrendt,2000