Daniel G. Schwartz. Formal Specifications for a Document Management Assistant. In Tarek M. Sobh, Khaled M. Elleithy, editors, Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems . pages 111-116, Springer, 2009. [doi]
Abstract is missing.