Proc ESOP 90, LNCS 432, Springer 1990

(1990)