1. Structural operational semantics;Aceto,2001
2. Code generation for a Pascal compiler;Ammann;Software - Practice and Experience,1977
3. Process-algebraic foundations of aspect-oriented programming;Andrews,2001
4. Polarized process algebra with reactive composition;Bergstra;Theoretical Computer Science,2005