Distributed Deadlock Detection and Resolution with Probes. - Beverly A. Sanders; Philipp A. Heuberger (WDAG, 1989)

Two Strategies to Data-Refine an Equivalence to a Forest. - Philipp A. Heuberger (B, 1998)

The minimal user interface of a simple refinement tool. - Philipp A. Heuberger (Softw. Concepts Tools, 1998)