Software Specification Methods by Henri Habrias & Marc Frappier