Реферат

статьи "Correctness of mixed computation in Algol-like programs".