1. H.R. Andersen and H. Hulgaard. Boolean Expression Diagrams, in Proc. IEEE Logic in Computer Science, Poland, 1997
2. Binary Decision Diagrams;Akers;IEEE Transaction on Computers,1978
3. Refinement Calculus: A Systematic Introduction;Back,1998
4. R.J. Back. Refinement Calculus, part II: Parallel and Reactive Programs, in Proc. on Stepwise refinement of distributed systems: models, formalisms, correctness, vol. 430, 1990, pp. 67–93
5. From Modular Systems to Action Systems;Back,1994