A formalization of objects using equational dynamic logic (1991)

by R Wieringa
Venue:2nd International Conference on Deductive and Object-Oriented D&abases