"Iteration Conditions of W. Ogden's Type and Applications to Programming ..."

Dragos Vaida (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics