Reasoning about Change (1988)

by Y Shoham