Jose Otavio Proenca Soares. Underlying concepts in process specification. In Proceedings of the First IEEE International Conference on Requirements Engineering, ICRE '94, Colorado Springs, Colorado, USA, April 18-21, 1994. pages 48-52, IEEE, 1994. [doi]