"Semantic Criteria for Choosing a Language for Big-Step Models."

Shahram Esmaeilsabzali et al. (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics