Soundness and completeness of Saxena and Tripathi's formal system - Maleković, Mirko (Array, 1993)