Frequency stabilization of a tunable dual-wavelength external-cavity semiconductor diode laser | IEEE Conference Publication | IEEE Xplore