Java
Formalising in
JML (3510)
Interface specification language for JAVA