Harpal S. Dhama, Victor Shtern. A net method for specification of reusable software. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 137-139, ACM, 1989. [doi]
Abstract is missing.