Proceedings of the 2006 international workshop on Role of abstraction in software engineering
ACM Digital Library