3 books in this genre
A revised ALGOL 68 hardware representation for ISO-code and EBCDIC
Wilfred J. Hansen
X/Open Framework and Models
X Open
Formal specification and software development
Dines Bjørner
