John Power, Edmund Robinson: Premonoidal Categories and Notions of Computation. Math. Struct. Comput. Sci. 7(5): 453-468 (1997)