Author: Copenhagen Winter School on Abstract Software Specifications (1979)