1. Security Engineering: A Guide to Building Dependable Distributed Systems;Anderson,2001
2. Banach, R. and M. Poppleton, Retrenchment: An engineering variation on refinement, in: B'98: 2nd International B Conference, Montpellier, France, LNCS 1393 (1998)
3. Z in Practice;Barden,1994
4. The Wonderful Wizard of Oz;Baum,1900
5. Boneh, D., R. DeMillo and R.J. Lipton, Breaking DES using a molecular computer, in: Proceedings of DIMACS workshop on DNA computing (1995)