A temporal framework for information systems specification and verificationChen-Ho Kung · First published 1984Open the Tome