Author: International Conference on Reliable Software Los Angeles 1975.