A parallel Buchberger algorithm for multigraded ideals

Concurrent Patterns: Parallels in System and Language Design.