This version of the quantum optics formalization is the latest and is belived to be the strongest as it contains the formalization
of optical modes using L2 concreat space, i.e., without aximoatization. 
It also uses the formalization of the L2 space that is developed using equivelance classes. Application wise,
it contains the verification of flip gate using coherent light (i.e., laser sources) and phase conjugating mirror, 
cnot gate using single photon apprach along with beam splitters and mirrors, mach zehnder intereferomter using same optical element as
cnot gate. cnot has been developed using multi-mode formalization, i.e, using tensor product of quantum sates and opereators.