Термины

PNIAK, B.

PNUELI, A.