A Temporal Logic Specification Method Supporting Hierarchical Development (1983)

by H Barringer, R Kuiper