Digital circuit testing and testability - LALA (Academic Press, 1997)