Inference rules for proving the equivalence of recursive procedures Benny GodlinOfer Strichman Original article 02 July 2008 Pages: 403 - 439
Modelling higher-order dual nondeterminacy Joseph M. MorrisMalcolm Tyrrell Original article 21 June 2008 Pages: 441 - 465