Passages of proof (2004)

by Cristian S. Calude, Elena Calude, Solomon Marcus
Venue:BULL. EUR. ASSOC. THEOR. COMPUT. SCI. EATCS