Multi-valued function theory for computer programming - Nguyễn Thanh Tùng (Univ. Catholique de Louvain, 1988)