1. Lemma 1. ProofPower and ProofPowerZ (1984–2009),
http://www.lemma-one.com/ProofPower/index/index.html
2. Lecture Notes in Computer Science;M. Adams,2005
3. Lecture Notes in Computer Science;R. Arthan,1991
4. Arthan, R., Caseley, P., O’Halloran, C., Smith, A.: ClawZ: Control laws in Z. In: Third International Conference on Formal Engineering Methods (ICFEM), September 2000, pp. 169–176. IEEE Computer Society Digital Library (2000)
5. Bletsis, K.: Software Defined Radio (July 2002), Simulink Model,
http://www.mathworks.com/matlabcentral/fileexchange/1987