Title: Abstract machine support for purely functional operating systems
First published: 1983