Kybernetika 4 no. 1, 6-11, 1968

The formulation of the problem of program segmentation in the terms of pseudoboolean programming