Unifying Theories of Programming and Formal Engineering Methods - Liu (Springer Berlin Heidelberg, 2013)