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
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.