Ellis Horowitz: Software design by algebraic specification (Abstract of presentation). AFIPS National Computer Conference 1978: 666