Learning Component Interfaces With May And Must Abstractions.pdf [Free Download!]