Mauro Bert A Formalization of the Transformation of Nested Declarations. 79-96 1977 13 Elektronische Informationsverarbeitung und Kybernetik 1/2 db/journals/eik/eik13.html#Bert77