References
- “Software for Computers in the Safety Systems of Nuclear Power Stations,” IEC Standard Publication 880, International Electrotechnical Commission (1986).
- “IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations,” IEEE Standard 7-4.3.2-1993, Institute for Electrical and Electronics Engineers (1993).
- “Guidelines for Application of Digital Computer to Safety Protection System,” JEAG4609, Japan Electric Society (1989).
- Y. WANG, “Formal and Abstract Software Module Specifications—A Survey,” Technical Report 91-307, Computing and Information Science, Queen’s University (1991).
- S. GERHART, D. CRAIGEN, and T. RALSTON, “Experience with Formal Methods in Critical Systems,” IEEE Software, 11, 1, 21 (1994).
- G. H. ARCHINOFF, R. J. HOHENDORF, A. WASSYNG, B. QUIGLEY, and M. R. BORSCH, “Verification of the Shutdown System Software at the Darlington Nuclear Power Generating Station,” Proc. Int. Conf. Control and Instrumentation in Nuclear Installations, London, United Kingdom, 1990, Institute of Nuclear Engineering.
- M. WIRSING, “Algebraic Specification,” Handbook of Theoretical Computer Science, Vol. B, “Formal Models and Semantics,” Chap. 13, p. 675, J. LEEUWEN, Ed., MIT Press/Elsevier, New York (1990).
- I. V. HOREBEEK and J. LEWI, Algebraic Specifications in Software Engineering, An Introduction, Springer-Verlag, New York (1989).
- D. E. KNUTH and P. B. BENDIX, “Simple Word Problems in Universal Algebras,” Proc. Computational Problems in Abstract Algebra, p. 263, Pergamon Press, New York (1970).
- H. EHRIG and B. MAHR, “Fundamental of Algebraic Specification 1&2,” EATICS Monographs on Theoretical Computer Science, Vols. 6 and 21, pp. 321 and 427, Springer-Verlag, New York (1985 and 1990).
- G. HUET and D. C. OPPEN, “Equations and Rewrite Rules: A Survey,” Formal Languages: Perspective and Open Problems, p. 349, R. BOOK, Ed., Academic Press, New York (1990).
- G. HUET and J.-M. HULLOT, “Proofs by Induction in Equational Theories with Constructors,” J. Comput. Syst. Sci., 25, 2, 239 (1982).
- A. OHSUGA, K. SAKAI, and S. HONIDEN, “Refutationally Complete Inference Rules for Inductive Theorem Proving Based on Term Rewriting Techniques,” Proc. Int. Symp. FGCS Workshop on Automated Theorem Proving, p.239 (1982).
- L. BACHMAIR, “Canonical Equational Proofs,” Progress in Theoretical Computer Science, p. 135, Birkhauser (1991).