"Well Formed Programs Optimal with Respect to Structural Complexity."

Giorgio De Michelis, Carla Simone (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics