Deductive typed object-oriented language by M.C.R. Bal