Patrick Randolph2002 年出版463 页ISBN:9789041194329;9041194320
Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667
REAL AND DEMONSTRATIVE EVIDENCE A REAL WORLD PRACTICE MANUAL FOR WINNING AT TRIAL THIRD EDITION
RONALD J.RYCHLAK2012 年出版779 页ISBN:1578233003