: Software Construction by Stepwise Feature Introduction.
: A Theory of Generalised Substitutions.
: ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.
, Fiona Polack
: Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.