Reference on coverages

The following is well-known: Given a posite we can construct the corresponding locale and the corresponding Grothendieck topos. Theorem: The locale is the subobject classifier of the topos. However, I fail to find a reference for this fact. Please help. Bas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]