Programok analízise és szintézise. - VARGA, L. (1981)