TQL Algebra and its Implementation. - Giovanni Conforti; Orlando Ferrara; Giorgio Ghelli (IFIP TCS, 2002)