H. K. Bhargava

Introduction to the 1996 HICSS MiniTrack on Logic Modeling

H. K. Bhargava, S. O. Kimbrough, 1996 .

Formalizing the semantics of ASCEND

A. Krishnan, P. Piela, H. K. Bhargava, 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.