The architecture of software systems and computing curricula. Pârv, Bazil (2008) Acta Universitatis Apulensis. Mathematics - Informatics
The formulation of the problem of program segmentation in the terms of pseudoboolean programming Jaroslav Král (1968) Kybernetika
The reduction of binary trees by means of an input-restricted deque R. Kemp (1983) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications