@techreport{1976-Weide-UniformAx,
  author		= "Terpstra, G.A. and Weide, Th.P. van der and Goeman, H.J.M. and Ollongren, A. and Bergstra, J.A.",
  title			= "{Uniform axioms for structured objects}",
  institution		= "Institute of Applied Mathematics and Computer Science, Leiden, The Netherlands",
  year			= "1976",
  class			= "Report"
}