Advertisement

References

  1. 1.
    Yuri Gurevich, Logic and the Challenge of Computer Science, in Current Trends in Computer Science, ed. Egon Börger, Computer Science Press, 1987, 1–57.Google Scholar
  2. 2.
    Yuri Gurevich and James M. Morris, Algebraic Operational Semantics for Modula-2, Technical Report CRL-TR-10-87, University of Michigan, July 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Yuri Gurevich
    • 1
  1. 1.Electrical Engineering and Computer ScienceUniversity of MichiganAnn ArborUSA

Personalised recommendations