Fundamental structures of computer science (Addison-Wesley, 1981)