Resource usage contracts for .NET. - Jonathan Tapicer; Diego Garbervetsky; Martín Rouaux (TOPI@ICSE, 2011)

On Verifying Resource Contracts using Code Contracts. - Rodrigo Castaño; Juan Pablo Galeotti; Diego Garbervetsky; Jonathan Tapicer; Edgardo Zoppi (LAFM, 2013)