Source: https://john.cs.olemiss.edu/~hcc/softArch/notes/iContract/OW_Berlin99_web.pdf