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 https://www.cai.sk/ojs/index.php/cai/article/view/587