MPC 1989 1. Lecture Notes in Computer Science , Vol. A Formal Approach To Large Software Construction. Mathematics of Program Construction Applied to Analog Neural Networks.
Termination is Timing.
Towards Totally Verified Systems. Stepwise Refinement of Action Systems. A Lattice-theoretical Basis for a Specification Language. A Small Exercise. A Derivation of a Systolic Rank Order Filter with Constant Response Time.