It is extensively used and cited the following statement due to Giroux:



> 
> Given a closed $3$-manifold $M$, there is a $1:1$ correspondence between oriented contact structures on $M$ up to isotopy and open book decompositions of $M$ up to positive stabilization.
> 
> 
> 


Given such a contact structure, the existence of an open book supporting the contact structure is proven, for example, in Giroux's *[Géométrie de contact: de la dimension trois vers les dimensions supérieures](http://arxiv.org/abs/math/0305129)*.


I am asking for a complete proof of the uniqueness part of the result. At this point I would be surprised if somebody provided me with a link to a peer-reviewed paper containing a proof of the result (which is funny because this is widely acknowledged as a "theorem" inside and outside the field of contact geometry). Usual citations include the above paper (which does not contain a proof of the statement), some book that has been "in preparation" for years or even "transparencies from a seminar"!


So, links to detailed lecture notes or a proof itself will be appreciated. I know for example the existence of these *[Lectures on open book decompositions and contact structures](http://people.math.gatech.edu/~etnyre/preprints/papers/oblec.pdf)* by J. Etnyre, but they are somehow sketchy to my taste. I am not an expert in the field and I can't complete all the exercises left to the reader or fill in all the gaps in the "sketches of a proof".



Proof of Giroux's correspondence
As far as I know, there is no publicly available written proof of uniqueness. Goodman's thesis pointed out by Chris proves neither uniqueness nor existence. What he did was to provide some of the first steps towards understanding the link between open books and tightness. Before that, he does sketch a proof of the open book theorem but, if I remember correctly, this sketch contains less information than what Giroux wrote in the ICM proceedings. In particular it entirely fails to cite Siebenmann's paper that Giroux cites twice in his uniqueness sketch and is the crucial starting point. This paper has been very hard to find for 30 years, but eventually got published as  

[Les bissections expliquent le théorème de Reidemeister-Singer: Un retour aux sources](http://www.numdam.org/item/AFST_2015_6_24_5_1025_0)  

*Annales de la Faculté des sciences de Toulouse: Mathématiques, Série 6: Volume 24 (2015) no. 5*


I'm almost certainly the mysterious person that Anubhav Mukherjee mentions in his comment, but writing a proof of this theorem is way beyond the scope of a mathoverflow answer, I'm sorry. I could probably answer more specific questions though.


