BLUMEand McALLESTER. Sound and Complete Models of Contracts. no. 4&5, Cambridge University Press (CUP), 2006, doi:10.1017/s0956796806005971.