Sylvain Boulmé, Marie-Laure Potet. Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control ::::a la::::Spec#. In Jean-Raymond Abrial, Uwe Glässer, editors, Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Volume 5115 of Lecture Notes in Computer Science, pages 1-16, Springer, 2009. [doi]
Abstract is missing.