Your session will expire automatically in 0 seconds.
Record:
Title
Recent trends in data type specifications : 5th workshop on specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / edited by D. Sannella, A. Tarlecki.