Kees Doets: Levationis Laus. J. Log. Comput. 3(5): 487-516 (1993)