CAD for verified hardware design via category theory. - Robert M. Zimmer; Alan J. MacDonald; Robert Holte (Microprocessing and Microprogramming, 1991)

The algebra of system design: A Petri net model of modular composition. - Robert M. Zimmer; Alan J. MacDonald (ISCAS, 1993)

Hierarchical A*: Searching Abstraction Hierarchies Efficiently. - Robert C. Holte; M. B. Perez; Robert M. Zimmer; Alan J. MacDonald (AAAI/IAAI, Vol. 1, 1996)

Speeding up Problem Solving by Abstraction: A Graph Oriented Approach. - Robert C. Holte; T. Mkadmi; Robert M. Zimmer; Alan J. MacDonald (Artif. Intell., 1996)

The Impact of Representation on the Efficacy of Artificial Intelligence: The Case of Genetic Algorithms. - Robert M. Zimmer; Robert C. Holte; Alan J. MacDonald (AI Soc., 1997)