Here's where I first read about it. http://archive.eiffel.com/doc/manuals/technology/contract/ariane/ http://archive.eiffel.com/doc/manuals/technology/contract

Here's where I first read about it. http://archive.eiffel.com/doc/manuals/technology/contract/ariane/ http://archive.eiffel.com/doc/manuals/technology/contract/ar... EDIT: there's a reference link but I can't open it on my phone.