Henrique Rebêlo: Towards client-aware interface specifications. OOPSLA Companion 2011: 71-74