Prof. David J. Pym, MA, PhD, ScD, FBCS, CITP, FIMA, CMath, CSci 6th Century Chair in Logic University of Aberdeen Scotland
+44 (0)1 224 27 4577 d.j.pym AT abdn DOT ac DOT uk http://www.abdn.ac.uk/~csc335