TY - RPRT TI - Discovering Algorithms with Matrix Code AU - M. H. van Emden PY - 2012 UR - https://arxiv.org/abs/1203.2296 ID - 1203.2296 ER -