Mountjoy, Jon-Dean (1994) Static analysis of functional languages. Masters thesis, Rhodes University.