Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum. Implementing Dynamic Aggregations of Abstract Machines in the B Method. In Jim Davies, Wolfram Schulte, Michael Barnett, editors, Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Volume 3308 of Lecture Notes in Computer Science, pages 403-417, Springer, 2004. [doi]
Abstract is missing.