1. Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 387–405 (November 1991)
2. Stocks, P., Carrington, D.: A Framework for Specification-Based Testing. IEEE Transactions on Software Engineering 22(11), 777–793 (1996)
3. IEEE. 1028-1997 IEEE Standard for Software Reviews. IEEE Computer Society (1997)
4. Wheeler, D.A., Brykczynski, B., Meeson, R.N.: Software Inspection: An Industry Best Practice. IEEE Computer Society Press, Los Alamitos (1996)
5. Menachem, M.B., Marliss, G.S.: Software Quality: Producing Practical, Consistent Software. International Thomson Computer Press (1997)