-
71
-
72
-
73
-
74
-
75
-
76
A logical theory of interfaces and objects.
Published in IEEE Transactions on software engineeringArticle -
77
-
78
-
79
-
80