Tait in one big step (2006)

by Thorsten Altenkirch, James Chapman
Venue:The British Computer Society (BCS