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