Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
UNIX系统V第4版 二进制兼容性规格 WE 32000处理器补充 Binary compatibility specification.WE 32000 processor supplement
乔世年,李为成译校1993 年出版250 页ISBN:750531565X