Programming Language Foundations by Stump, Aaron

Verified Functional Programming in Agda - Paperback, by Stump Aaron - Very Good

1969 Assembler Language Programming: The IBM System / 360 by George Struble HC

Verified Functional Programming in - Paperback, by Stump Aaron - Acceptable e

Internet Programming with Python by James C. Ahlstrom, Aaron Waters and Guido...

Foundations of Computing Ser.: Formal Semantics of Programming Languages : An...

Programming Language Foundations by Aaron Stump (English) Paperback Book

The Go Programming language by Alan Donovan and Brian Kernighan