1. An execution profiler for modular programs
2. Design and use of a program execution analyzer
3. Programming tools
4. Programming pearls
5. ‘The SB-Prolog system, Version 2.2.1: a user manual’, Technical Report 87–15, Dept. of Computer Science, University of Arizona, Tucson, AZ, December 1987.