"On Strong Stability and Higher-Order Sequentiality"

Loïc Colson, Thomas Ehrhard (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics