Reasoning about time in higher level language software (1989)

by A Shaw
Venue:IEEE Trans Software Engineering