On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines - García-Pérez, A; Nogueira, P (Science Of Computer Programming, 2014)