PREDICATE TRANSFORMER SEMANTICS - Manes, Ernest G. (Cambridge Cambridge Univ. Press, 1992)
Includes Bibliographical References And Index
Keywords: Logic Programming; Logic, Symbolic And Mathematical