Expression Refinement: Deriving Bresenham's Algorithm. - Alexander Bunkenburg; Sharon Flynn (Functional Programming, 1994)

A refinement calculus for expressions. - Sharon Flynn (1996)

On Formal Specification of Software Components and Systems. - Sharon Flynn; Dick Hamlet (MFCSIT, 2004)