VMP Pascal, an Extended Language for the Implementation of Data Communication Protocols. - Karl Mattern; Hermann Weitz; Stephan Zorn (Kommunikation in Verteilten Systemen, 1981)