In geometry, a birotunda is any member of a family of dihedral-symmetricpolyhedra, formed from two rotunda adjoined through the largest face. They are similar to a bicupola but instead of alternating squares and triangles, it alternates pentagons and triangles around an axis. There are two forms, ortho- and gyro-: an orthobirotunda has one of the two rotundas is placed as the mirror reflection of the other, while in a gyrobirotunda one rotunda is twisted relative to the other.
Norman W. Johnson, "Convex Solids with Regular Faces", Canadian Journal of Mathematics, 18, 1966, pages 169–200. Contains the original enumeration of the 92 solids and the conjecture that there are no others.
Victor A. Zalgaller (1969). Convex Polyhedra with Regular Faces. Consultants Bureau. No ISBN. The first proof that there are only 92 Johnson solids.