Caseau, Yves "An Object-Oriented Deductive Language"

(1991)

(1991) Annals of Mathematics and Artificial Intelligence 3(2-4) 1991  

Languages mentioned