A syntactic correspondence between context-sensitive calculi and abstract machines
scientific article; zbMATH DE number 5151774
scientific article