An algebraic semantics of sequential Prolog control - Ross, Brian J.; Wilk, Paul F. (1990)