Integrating Functional and Temporal Domains in Logic Design innbundetEngelsk, 1991