1. Buneman, P. / Frankel, R.E.: FQL — A Functional Query Language- Proc. ACM SIGMOD Int. Conf. on Management of Data 1979, 52–58
2. Castilho, J.M.V. / Casanova, M.A. / Furtado, A.L.: A Temporal Framework for Database Specifications- Proc- 8th Int. Conf- on Very Large Data Bases, Mexico 1982
3. Casanova, M.A. / Furtado, A.L.: A Family of Temporal Languages for the Description of Transition Constraints. Proc. Workshop on Logical Bases for Data Bases, Toulouse 1982
4. Dosch, W. / Mascari, G. / Wirsing, M.: On the Algebraic Specification of Databases- Proc- 8th Int. Conf- on Very Large Data Bases, Mexico City 1982
5. Ehrig, H. / Kreowski, H.J / Weber, H.: Algebraic Specification Schemes for Database Systems. Proc. 4th Int-Conf. on Very Large Data Bases, Berlin 1978