David Harel Roni Rosner Moshe Y. Vardi On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) conf/lics/LICS5 1990 LICS 478-488 db/conf/lics/lics90.html#HarelRV90