TY - RPRT TI - Long multiplication by instruction sequences with backward jump instructions AU - J. A. Bergstra AU - C. A. Middelburg PY - 2014 UR - https://arxiv.org/abs/1312.1812 ID - 1312.1812 ER -