Amalgamation of Graph Transformations with Applications to Synchronization. - Paul Boehm; Harald-Reto Fonio; Annegret Habel (TAPSOFT, Vol.1, 1985)

Amalgamation of Graph Transformations: A Synchronization Mechanism. - Paul Boehm; Harald-Reto Fonio; Annegret Habel (J. Comput. Syst. Sci., 1987)

Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems. - Harald-Reto Fonio (ADT, 1988)

Rule-based synthesis using ADTs and term rewriting. - Harald-Reto Fonio; Adam Pawlak (Microprocess. Microprogramming, 1992)

Foretracking versus Backtracking in AI Languages. - Jared L. Darlington; Harald-Reto Fonio (Applied Informatics, 1994)