Approach, Mark Utting and Bruno Legeard, ISBN 978-0-12-372501-1, Morgan-Kaufmann 2007 ^ John Rushby. Automated Test Generation and Verified Software. Verified
David Goldberg, "Computer Architecture: A Quantitative Approach", Morgan Kaufmann, 2003, pg. 152 ^ John Markoff, "Market Place; Digital Finally Follows a
Lieberman, H. (2001). Your wish is my command: Programming by example. Morgan Kaufmann ^ Cypher, E.; Halbert, D.C.. Watch what I do: programming by demonstration