1. Backhouse, R.: Program Construction—Calculating Implementations from Specifications. Wiley, New York (2003)
2. Balzer, R., Cheatham, T.E., Green, C.: Software technology in the 1990’s: Using a new paradigm. IEEE Comput.16(11), 39–45 (1983)
3. Common Criteria. http://www.commoncriteria.org
4. Gries, D.: The Science of Programming. Springer, Secaucus (1987)
5. Goguen, J.: Hidden algebra for software engineering. In: Proceedings Combinatorics, Computation and Logic, vol. 21, Auckland, New Zealand, January 1999, pp. 35–59. Springer, Berlin (1999)