William M. Newman
-
ABSL: an actor-based specification language for office automation
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A formal specification tool for distributed office systems
ACM SIGSMALL/PC Notes