M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”,
Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.