En artikel i tillämpad logik av Kim Solin antas till RAMiCS

Kim Solins artikel i tillämpad logik, "Encoding and decoding in refinement algebra", antas till RAMiCS, Relational and Algebraic Methods in Computer Science.