"On Strong Stability and Higher-Order Sequentiality"

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