"A Polynomial Determination of the Most-Recent Property in Pascal-Like ..."

Dieter Armbruster (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics