×
  • Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

    J. A. Bergstra J. W. Klop (auth.) Wolfgang Bibel Klaus P. Jantke (eds.)

Click on cover to enlarge.
5 - 6Hours to read