edited by W.A. Paton.