A general certificate calculus.
Clarke, Leonard Harwood.
London, 
1960.