Dewayne E. Perry: "Large" abstractions for software engineering. ROA@ICSE 2008: 31-33