Jeremy Singer: Static single information from a functional perspective. Trends in Functional Programming 2003: 63-78