Aczel, Peter B., University of Manchester. Department of Computer Science and Mathematics, United Kingdom