Title: Automated interactive software verification and synthesis
First published: 1992