Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences’, Formal Aspects of Computing 19(4 (2007)

by M Collinson, D Pym, C Tofts