Books by Johannes August Petersen