Inspiration

(In-)Formal Methods: The Lost Art --- A Users’ Manual

by Carroll Morgan, 2016

Secret Ninja Formal Methods

by Joseph Kiniry and Daniel Zimmerman, 2008