N. Mirenkov, T. Mirenkova, "Program Synthesis from Film Specifications", Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on vol. 00 no. , p. 133, , 1997