Author: J. Myhill J. C. E Dekker