Skip to main content
1 of 2
Andreas Holmstrom
  • 5.6k
  • 5
  • 41
  • 62

I haven't read any of these but they might be useful:

Some notes of Frank Pfenning.

A paper of Wirth.

Andreas Holmstrom
  • 5.6k
  • 5
  • 41
  • 62