Algorithmic methods in optional control - Gruver W A; Sachs E (Boston Pitman Advances Publishing Programm, 1980)