Lanzamientos por Irving R. Allen