Semantical analysis of specification logic - Tennent, Robert D. (1985)