A.: The Safety-Progress Classification (1992)

by E Chang, Z Manna, Pnueli