Monin, Jean François, and Michael G. Hinchey. Understanding Formal Methods. Springer, 2003.