Neville Ford

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Introducing Formal Methods: A Less Mathematical Approach	978-O-13-48432O-9 (O-13-48432O-7)	1993	Judith Ford