Shih, T. K., Keh, H. C., & Lin, Y. C. (2012). A VDM approach to continuation-based semantics of Prolog. Computing and Informatics, 18(5), 485–508. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/587