Авторы

PNIAK, B.

PNUELI, A.