of the Foundations 02 Workshop on Verification and Validation, (October, 2002).
Formal Methods Virtual Library.
Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning About Systems,
2nd ed, (Cambridge University Press, 2004).