Michael Rabin presentations