Shih, T. K.; Keh, H. C.; Lin, Y. C. A VDM Approach to Continuation-Based Semantics of Prolog. Comput. Inform. 2012, 18, 485-508.