Logical foundations of object-orientedandframe-basedlanguages (1995)

by M Kifer, G Lausen, Wu James
Venue:J. ACM