1. On the occur-check free Prolog programs;Apt;ACM Toplas,1994
2. Relativity in the global positioning system;Ashby;Living Reviews in Relativity,2003
3. CASL: the common algebraic specification language;Astesiano;Theoretical Computer Science,2002
4. An Architectonic for Science;Balzer,1987
5. Hyperproof;Barwise,1994