SPMNet: a formal methodology for software management. - Carl K. Chang; Chikuang Chao; Su-Yin Hsieh; Yahya Alsalqan (COMPSAC, 1994)