Extensions and foundations of object-oriented programming
Goguen, Joseph A., Meseguer, JoséVolume:
21
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/323648.323755
Date:
October, 1986
File:
PDF, 794 KB
english, 1986