Assertion-based design, Second Edition. - Harry Foster; Adam Krolnik; David Lacey (Kluwer, 2004)