00509nam a2200169Ia 4500 518.542 W926.PS Workshop on "Program Specification", Aarhus University, Denmark, Aug. 4-7, 1981 Program specification; proceedings Ed. by J. Staunstrup Berlin Springer-Verlag 1982 iv, 426p. Lecture notes in Computer Science 134 Staunstrup, J. ; ed. 0 0 0 0 ISI ISI 1998-09-21 0 518.542 W926.PS DP18146 2019-02-14 00:00:00 2019-02-14 BK 12463 12463 12463