Iu I. Ianov
Doklady, AN USSR
On Ianov's Program Schemata
Journal of the ACM (JACM)
Considered are finite sets of objects A1, …, An which we will call operations and two-place (logical) variables p1, …, pk taking the values 0 and 1.