Exploring summation and product operators in the refinement calculus (0)

by R Back, M Butler
Venue:Computer Science & Mathematics, Ser. A. No 152, ˚Abo Akademi