Reduction and Refinement. - Eerke A. Boiten; Dan Grundy (REFINE@IFM, 2007)

The Logic of Large Enough. - Eerke A. Boiten; Dan Grundy (MPC, 2010)