Hailpern, B. T. [ca. 1982]. Verifying concurrent processes using temporal logic. In Lecture notes in computer science [Book]. Berlin [u.a.]: Springer.

HAILPERN, Brent T., 1982. Verifying concurrent processes using temporal logic. Berlin [u.a.]: Springer. Lecture notes in computer science, 129. ISBN 3540112057.

Hailpern, B. T. „Verifying concurrent processes using temporal logic“. Lecture notes in computer science, book, Springer, 1982.

Hailpern, Brent T.: Verifying concurrent processes using temporal logic, . Lecture notes in computer science, Berlin [u.a.] 1982.

Hailpern, B.T. (1982), Verifying concurrent processes using temporal logic, Lecture notes in computer science, Bd. , Springer, Berlin [u.a.].