Howard Barringer Ruurd Kuiper Towards the Hierarchical, Temporal Logic, Specification. 157-183 1983 conf/acs/1983 The Analysis of Concurrent Systems db/conf/acs/acs1983.html#BarringerK83