المؤلفون: Thomason, Richmond H., Johnson,, D. Randolph

المصدر: The Journal of Symbolic Logic, 1969 Mar 01. 34(1), 1-7.

URL الوصول: https://www.jstor.org/stable/2270973

المؤلفون: Hardin, David, Hiratzka, T. Douglas, Johnson, D. Randolph, Wagner, Lucas, Whalen, Michael

المصدر: Formal Methods and Software Engineering ; Lecture Notes in Computer Science ; page 266-285 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642103728 9783642103735

الاتاحة: http://dx.doi.org/10.1007/978-3-642-10373-5_14
http://link.springer.com/content/pdf/10.1007/978-3-642-10373-5_14.pdf

المؤلفون: Johnson, D. Randolph

المصدر: FM 2006: Formal Methods ; Lecture Notes in Computer Science ; page 607-611 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540372158 9783540372165

الاتاحة: http://dx.doi.org/10.1007/11813040_43
http://link.springer.com/content/pdf/10.1007/11813040_43.pdf

المؤلفون: Misra, Jayadev, Nipkow, Tobias, Sekerinski, Emil, Johnson, D. Randolph

المصدر: FM 2006: Formal Methods; 2006, p607-611, 5p