Boca, Paul Formal methods : state of the art and new directions - London Springer 2010 - xxiii, 273p. ; 24 cm. ISBN: 9781848827356 Dewey Class. No.: 004 / BOC