10- to 19.5-GHz microwave receiver of an electro-optical interferometer for radio astronomy | Publicación