Sarah L. English

• The essence of faith
• Colour Petri nets for object-oriented modelling