On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines | Publicación