Peter E. Lauer, M. W. Shields, John Yiannis Cotronis: Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. ICFPC 1981: 115-151