Robert Leithiser. A relational database model for representation of formal specifications. In Ronaldo Menezes, editor, Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006. pages 209-217, ACM, 2006. [doi]
Abstract is missing.