Authors: CHITNIS SV SATPATHY M OBEROI S

Citation: Sv. Chitnis et al., RATIONALIZED 3-INSTRUCTION MACHINE, ACM SIGPLAN NOTICES, 30(3), 1995, pp. 94-102

Authors: EKENBERG L OBEROI S ORCI I

Citation: L. Ekenberg et al., A COST MODEL FOR MANAGING INFORMATION SECURITY HAZARDS, Computers & security, 14(8), 1995, pp. 707-717

Authors: OBEROI S

Citation: S. Oberoi, LAMBDA(BETA') - A LAMBDA-CALCULUS WITH A GENERALIZED BETA-REDUCTION RULE, Information processing letters, 54(1), 1995, pp. 45-53