Shih, T.K. et al. 2012. A VDM approach to continuation-based semantics of Prolog. COMPUTING AND INFORMATICS. 18, 5 (Mar. 2012), 485–508.