Proc ESOP88, LNCS 300, Springer 1988

(1988)