HOPL 1978Transcript of question and answer sessionBarbara LiskovDOI 10.1145/800025.1198363dblpBibTeXAbstractNo abstract available.