The trouble with mutual recursion in Concurrent Euclid
A. J. Gerber · ACM SIGPLAN Notices · 1985
The author relates how he squandered a day's work trying to bend a compiler to his needs, and how the resulting solution became equally bent. A working knowledge of Concurrent Euclid is not necessary to understand this paper.