Action system approach to the specification and design of distributed systems. - Reino Kurki-Suonio; H.-M. Järvinen (IWSSD, 1989)

Object-Oriented Specification of Reactive Systems. - H.-M. Järvinen; Reino Kurki-Suonio; Markku Sakkinen; Kari Systä (ICSE, 1990)

DisCo specification language: marriage of actions and objects. - H.-M. Järvinen; Reino Kurki-Suonio (ICDCS, 1991)