process for the robust implementation of systemic mechanizations
An initial standard for the production of mechanizations
Some initial thoughts on how to go from !m ⇒ m