-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
-
69
A logical theory of interfaces and objects.
Published in IEEE Transactions on software engineeringArticle -
70