Hanne Riis Nielson Sven Skyum k-visit Attribute Grammars. 17-28 1981 15 Mathematical Systems Theory 1 db/journals/mst/mst15.html#RiisS81