Tiling unique integral squares into a square (1992) [pdf]
pure.tue.nl