Mathematics and computer science : proceedings of the CWI symposium ; Nov. 1983 - Baddeley, A. L. (North-Holland Publishing, 1986)