@phdthesis{DarvasDiss, author = {{\'A}d{\'a}m Darvas}, title = {Reasoning About Data Abstraction in Contract Languages}, school = {ETH Zurich, Switzerland}, year = {2009} }