Combining many-sorted logic and object-oriented programming. - Byeong Man Kim; Kiyeol Ryu; Seung Ryoul Maeng; J. W. Cho (Inf. Softw. Technol., 1993)