Passages of proof (2004)

by C S Calude, E Calude, S Marcus
Venue:Bulletin of the European Association for Theoretical Computer Science