Abstract State Machines, B and Z More Books by Egon Börger, Michael Butler, Jonathan P. Bowen & Paul Boca

Subject-Oriented Business Process Management

2012

Advances in Software Engineering

2008