David Billington R. Geoff Dromey The Co-invariant Generator: An Aid in Deriving Loop Bodies. 108-126 1996 8 Formal Asp. Comput. 1 db/journals/fac/fac8.html#BillingtonD96