Checking Software Development Processes. - Alain Caplain (IFIP Student Forum, 2004)

Towards a Rigorous Process Modeling with SPEM. - Benoît Combemale; Xavier Crégut; Alain Caplain; Bernard Coulette (ICEIS (3), 2006)

Modélisation rigoureuse en SPEM de procédé de développement. - Benoît Combemale; Xavier Crégut; Alain Caplain; Bernard Coulette (LMO, 2006)