Here's where I first read about it.

http://archive.eiffel.com/doc/manuals/technology/contract/ar...

EDIT: there's a reference link but I can't open it on my phone.