Computer architectures for functional and logic languages. - Roger Charles Millichamp (1983)