ZB 2002:Formal Specification and Development in Z and B
2222 年出版535 页ISBN:3540431667
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
ECONOMETRIC MODEL SPECIFICATION CONSISTENT MODEL SPECIFICATION TESTS AND SEMI-NONPARAMETRIC MODELING
HERMAN J.BIERENS2017 年出版634 页ISBN:9789814740500