Mendler, Michael (1991): Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification, in: Geraint Jones und Geraint Jones (Hrsg.), Designing Correct Circuits : Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford, London u.a.: Springer, S. 1–28.