Since the list is a lot about typing I wanted to see Liskov-Wing "A Behavioral Notion of Subtyping" in there. http://citeseerx.ist.psu.edu/viewdoc/download;jse

Since the list is a lot about typing I wanted to see Liskov-Wing "A Behavioral Notion of Subtyping" in there. http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=213162B5E8875E6BDB3D104B452F036B?doi=10.1.1.39.1223&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=213... I found that pretty interesting and it caused a lot of discussion.