Солахян, С. А. (1976) Аксиоматический подход к доказательству корректности программ. ՀՍՍՀ ԳԱ Զեկույցներ, 63 (4). pp. 199-204.