Stephen J. Hegner
Unified Modeling Language (UML) XML complexity database design database logics database queries finite model theory formal logics formal reasoning information systems logic logic programming logical foundations modeling programming