JULIA CASE BRADLEY AND ANITA C.MILLSPAUGH2004 年出版556 页ISBN：
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
MICHAEL J.O’DONNELL2222 年出版296 页ISBN：026215028X
VIRTUAL SYNTHESIS OF NANOSYSTEMS BY DESIGN FROM FIRST PRINCIPLES TO APPLICATIONS
LIUDMILA A.POZHAR2015 年出版370 页ISBN：0123969842
A TUTORIAL INTRODUCTION TO OCCAM PROGRAMMING
DICK POUNTAIN DAVID MAY2222 年出版108 页ISBN：063201847X
LOGIC DESIGN FOR ARRAY-BASED CIRCUITS A STRUCTURED DESIGN METHODOLOGY
D.E.White1992 年出版342 页ISBN：
