Reaoning about changes (1988)

by Y Shoham