A classification of smooth embeddings of 4-manifolds in 7-space, II - Diarmuid Crowley; Arkadiy Skopenkov (2008)