Work by Michael O. Rabin (source code)

= Work by Michael O. Rabin