Marc H. Graham: Satisfying database states. University of Toronto, Canada 1981