CALCULUL SISTEMELOR AUTOMATE de C. J. SAVANT , 1967