jjl at pobox.com (John J. Lee) wrote in message news:<877jzwg1v2.fsf at pobox.com>.. > Eiffel: Design by contract. The book to read is Meyer's "Object- > Oriented Software Construction". Full of interesting stuff, if you can > stand his self-importance ;-) I couldn't!