Hinchey, Michael G., Jonathan P. Bowen, and Emil Vassev. "Formal Methods." In Encyclopedia of Software Engineering, ed. Philip A. Laplante, 308-320. Taylor & Francis, 2010.