"Specification-based sketching with Sketch."

Hesam Samimi, Kaushik Rajan (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics