True lies: Lazy contracts for lazy languages – Faithfulness is better than laziness

Degen, Markus; Thiemann, Peter; Wehr, Stefan (2009): True lies: Lazy contracts for lazy languages – Faithfulness is better than laziness. Informatik 2009 – Im Focus das Leben. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-248-2. pp. 370-370. Regular Research Papers. Lübeck. 28.9.-2.10.2009