Title: Provably correct systems
First published: 1994