Specification and Implementation of Parallel Activities on Abstract Objects. - S. Keramidis; L. Mackert (ICSE, 1979)

Ein Kalkül zur Konstruktion deadlockfreier Systeme. - S. Keramidis; L. Mackert (ARCS, 1980)