Callaghan. Coercive Subtyping via Mappings of Reduction Behaviour. Elsevier BV, 2008, doi:10.1016/j.entcs.2007.09.017.