Connections, definite forms, and four-manifolds - Petrie, Ted; Randall, John (Oxford Univ. Pr., 1990)