A method for certification (1978)

by L M Konfelder