R. Janicki, D.L. Parnas, J. Zucker (1997): Tabular representations in relational documents, in Relational Methods in Computer Science, ed. C. Brink, W. Kahl and G. Schmidt (Springer-Verlag), 184-196. [text.ps]

Abstract. In this chapter the use of relations, represented as tables, for documenting the requirements and behaviour of software is motivated and explained. A formal model of tabular expressions, defining the meaning of a large class of tabular forms, is presented. Finally, we discuss the transformation of tabular expressions from one form to another, and illustrate some useful transformations.