Remco Loos: Finite Models of Splicing and Their Complexity. University of Rovira i Virgili, Spain 2008