Static Analysis of Aliases & Side Effects in Higher Order Languages. - Anne Neirnyck (1988)