Links for abstracting-machine