Publications

An algebra of relations for machine computation

• • Patrick Hall
  • Peter Hitchcock
  • et al.
• 1975
• POPL 1975