An Axiomatics for Categories of Transition Systems as Coalgebras. - Peter T. Johnstone; John Power; Toru Tsujishita; Hiroshi Watanabe 002; James Worrell 001 (LICS, 1998)

An axiomatics for categories of coalgebras. - John Power; Hiroshi Watanabe 002 (CMCS, 1998)

Distributivity for a monad and a comonad. - John Power; Hiroshi Watanabe 002 (CMCS, 1999)

Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. - Marina Lenisa; John Power; Hiroshi Watanabe 002 (CMCS, 2000)

On the structure of categories of coalgebras. - Peter T. Johnstone; John Power; Toru Tsujishita; Hiroshi Watanabe 002; James Worrell 001 (Theor. Comput. Sci., 2001)

Combining a monad and a comonad. - John Power; Hiroshi Watanabe 002 (Theor. Comput. Sci., 2002)

Category theory for operational semantics. - Marina Lenisa; John Power; Hiroshi Watanabe 002 (Theor. Comput. Sci., 2004)