Workshop on Reliable Software (1978)