A GUI modeling DSL for pattern-based GUI testing PARADIGM
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141.