15 Aug 2013 [ pdf ]
An investigation of the sequential product on predicates in the framework of Jacobs.