Author: Workshop on Reliable Software (1978 Bonn University)