Johan J. Lukkien Operational Semantics and Generalized Weakest Preconditions. 137-155 1994 22 Sci. Comput. Program. 1-2 db/journals/scp/scp22.html#Lukkien94