found: Davio, M. Discrete ... c1978 (a.e.)t.p. (André Thayse) CIP data sheet (b. 1940, MSc electrical engineering & applied mathematics, U. of Louvain, 1964 & 1965, employed MBLE Research Lab., Brussels)
found: Davio, M. Digital systems, with algorithm implementation, 1983:CIP t.p. (A. Thayse)
found: Luc, l'évangile revisité, 1997:t.p. (André Thayse) p. 4 of cover (Après de nombreuses années de recherche en mathématiques appliquées et en informatique, André Thayse enseigne actuellement la logique et l'intelligence artificielle à l'Université catholique de Louvain)