Integrating Functional and Temporal Domains in Logic DesignPatrick C. McGeer · First published 1991Open the Tome
