Correctness of on-line partial evaluation for a Pascal-like language
scientific article; zbMATH DE number 1356323