Concurrency. - Leif Sandegaard Nielsen (Program Specification, 1981)

Communication Network. - Leif Sandegaard Nielsen; Ib Holm Sørensen (Program Specification, 1981)

KWIC-index generation. - Jørgen Steensgaard-Madsen; Jane W. Hughes; Malcolm S. Powell; Hartmut Ehrig; Hans-Jörg Kreowski; Leif Sandegaard Nielsen; Jean-Raymond Abrial; Ib Holm Sørensen; Robin M. Gallimore; Derek Coleman; Joseph A. Goguen (Program Specification, 1981)