Kim Solin: Encoding and Decoding in Refinement Algebra. RAMiCS 2015: 209-224