David A. Schmidt A Return to Elegance: The Reapplication of Declarative Notation to Software Design. 360-364 1999 conf/padl/1999 PADL https://doi.org/10.1007/3-540-49201-1_25 db/conf/padl/padl99.html#Schmidt99