Language Design for Reliable Software (1977) Proceedings of an ACM Conference Raleigh, North Carolina, March 28-30, 1977 - Wortman, David B. (Association for Computing Machinery, 1977)
περιέχει βιβλιογραφία