This work formed one main strand in the Verifier method which he developed with Joanne Hyde.
Его работа сформировала один из основных направлений в методе Verifier, который он разработал вместе с Джоан Хайд.