Douglas Wiebe. Specifying and Verifying Semantic Properties of Software Configurations. In Jürgen F. H. Winkler, editor, Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany. Volume 30 of Berichte des German Chapter of the ACM, pages 409-412, Teubner, 1988.
Abstract is missing.