T. K. Shih, H. C. Keh, and Y. C. Lin, “A VDM approach to continuation-based semantics of Prolog”, Comput. Inform., vol. 18, no. 5, pp. 485–508, Mar. 2012.