Colin Boyd. Enforcing traceability in software. In Yongfei Han, Tatsuaki Okamoto, Sihan Qing, editors, Information and Communication Security, First International Conference, ICICS 97, Beijing, China, November 11-14, 1997, Proceedings. Volume 1334 of Lecture Notes in Computer Science, pages 398-408, Springer, 1997.
Abstract is missing.