found: Viganò, Luca. Labelled non-classical logics, 2000:CIP t.p. (Luca Viganò; Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg im Breisgau, Germany)
found: Galois, c2005:t.p. (Luca Viganò) p. 120 (b. 1968; researcher in informatics at the Politecnico di Zurigo, Svizzera; small photo of author on this page; lists literary works of author)
found: Luca Viganò WWW home page, July 28, 2005(Luca Viganò; Information security, ETH Zürich; same small photo of author as in book Galois; lists scientific publications, incl. Labelled non-classical logics)