David R. Gilbert: Specifying Concurrent Systems Using Logic. FORTE 1989: 245-260