Proving and Programming (2007)

by C S Calude, E Calude, S Marcus
Venue:Randomness & Complexity, from Leibniz to Chaitin, World Scientific