NON-TRANSFORMATIONAL SYNTAX FORMAL AND EXPLICIT MODELS OF GRAMMAR
ROBERT D.BORSLEY KERSTI BORJARS2011 年出版454 页ISBN:
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN:3540104429
Formal techniques in real-time and fault-tolerant systems
(Jan); Vytopil;J.1993 年出版208 页ISBN:0792393325