@misc{С._А._Солахян_Аксиоматический,
 author={С. А. Солахян},
 address={Երևան},
 howpublished={online},
 publisher={ՀՍՍՀ ԳԱ հրատ․},
 title={Аксиоматический подход к доказательству корректности программ},
 type={Հոդված},
 keywords={Mathematics, Science},
}