Skip to main content
2 of 2
replaced http://front.math.ucdavis.edu/ with https://arxiv.org/abs/

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