Java Formalising in

Interface specification language for JAVA