Technical Documentation
Wishbone B4 Specification
This is the modified Wishbone specification which includes pipelined access. It's a copy of the document hosted in http://opencores.org/opencores,wishbone
Material on synchronizers
Papers, articles and presentations on synchronization across clock domains inside FPGAs.