"From Reality to Programs and (Not Quite) Back Again."

Daniel Ratiu, Florian Deissenboeck (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics