A Nonstandard Compactness Criterion. - Richard D. Benham (Math. Log. Q., 2002)

Chunk and permeate III: the Dirac delta function. - Richard D. Benham; Chris Mortensen; Graham Priest (Synth., 2014)