1. Allwein G, Barwise J (1996) Logical reasoning with diagrams. Oxford University Press, Oxford
2. Bowen JP, Hinchey MG (2004) Formal methods. In: Tucker AB Jr (ed) Computer science handbook, 2nd edn, Sect XI, Software engineering. Chapman and Hall/CRC, ACM, London, Chap 106, pp 106-1?106-25
3. Brualdi RA (1999) Introductory combinatorics. Prentice Hall, Upper Saddle River, NJ
4. Compton K, Hauck S (2002) Reconfigurable computing: a survey of systems and software. ACM Comput Surv 34(2):171?210
5. Distance F, Sami MG, Stefanelli R (1995) Fault-tolerance and reconfigurability issues in massively parallel architectures. IEEE, pp 340?349