A sub-40 mHz laser based on a silicon single-crystal optical cavity | IEEE Conference Publication | IEEE Xplore