ELLA 2000 a language for electronic system design - Morison, John D.; Clarke, Alan S. (McGraw-Hill, 1994)