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