Carsten Ullrich Seki Report, Vol. SR-03-03, 2003.
BibTeX
http://www.activemath.org/~ilo/articles/seki0303-ped-rules.ps.gz