Programming in Temporal Logic (1988)

by Roger William Stephen Hale