David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot
Browse the full FOSSACS paper archive.