Implementing Dynamic Aggregations of Abstract Machines in the B Method. - Nazareno Aguirre; Juan Bicarregui; Lucio Guzmán; T. S. E. Maibaum (ICFEM, 2004)

Towards Dynamically Communicating Abstract Machines in the B Method. - Nazareno Aguirre; Marcelo Arroyo; Juan Bicarregui; Lucio Guzmán; T. S. E. Maibaum (ICFEM, 2005)