Auzinsh Andrey Ivarovich

Publications in Math-Net.Ru

1. Construction of a complete system of examples for a class of programs
   
   Dokl. Akad. Nauk SSSR, 278:3 (1984),  564–568