Ralph-Johan Back Joakim von Wright Encoding, Decoding and Data Refinement. 313-349 2000 12 Formal Aspects Comput. 5 https://doi.org/10.1007/s001650070008 db/journals/fac/fac12.html#BackW00