@book{5447, author = {Francez, Nissim,}, title = {Program verification /}, publisher = {Addison-Wesley, }, year = {1992.}, address = {Wokingham, England : } }