Specification and Implementation of Parallel Activities on Abstract Objects

S. Keramidis, L. Mackert. Specification and Implementation of Parallel Activities on Abstract Objects. In ICSE. pages 203-211, 1979.