Tools and rules for the practicing veri (1990)

by Z Manna, A Pnueli