Gabbar h.a. (eds.) modern formal methods and applications (springer, 2006)(isbn 9781402042232)(216s) cs pl_
