Dezani-Ciancaglini, et al.. Preface. no. 1-2, Elsevier BV, 2002, doi:10.1016/s0304-3975(00)00345-5.