A formal notation for hardware and software verification
Richard Chapman, John R. Gabriel · CERN Document Server (European Organization for Nuclear Research) · 1986
Some years ago a theory was published describing compilation of digital logic system build descriptions (list of behaviors for elementary components and connections between them) into recursively computable system behavior descriptions. The current work describes an analogous theory for computer programs.