Title: The power of the future perfect in program logics
First published: 1983