W. David Hurley, Alfs T. Berztiss. Specifying agents in the SF specification language. In Second International Symposium on Autonomous Decentralized Systems, ISADS 1995, Phoenix, Arizona, USA, April 25-27, 1995. pages 112-118, IEEE Computer Society, 1995. [doi]
Abstract is missing.