Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima: Client-aware checking and information hiding in interface specifications with JML/ajmlc. SPLASH (Companion Volume) 2013: 11-12