Chia-Chu Chiang Structured design with mathematical proofs. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 1997, v:39, n:10, pp:669-677 [Journal]
Harry W. Agius, Marios C. Angelides Integrating logical video and audio segments with content-related information in instructional multimedia systems. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 1997, v:39, n:10, pp:679-694 [Journal]