Control and data abstraction: The cornerstones of practical formal verification (2000)

by Y Kesten, A Pnueli
Venue:International Journal on Software Tools for Technology Transfer (STTT