1/0 = 0; or The Rational Numbers as an Abstract Data Type(docs.google.com)

http://docs.google.com/viewer?url=http%3A%2F%2Fwww-compsci.swan.ac.uk%2F~csjvt%2FJVTPublications%2FRationalsAsADT.pdf