On a general synthesis algorithm of logical circuits using a restricted inventory of integrated circuits. - Miguel A. Marin (DAC, 1968)

Synthesis of TANT networks using a Boolean analyser. - Miguel A. Marin (Comput. J., 1969)

A Multimodel and Computer Oriented Methodology for Synthesis of Sequential Discrete Systems. - George J. Klir; Miguel A. Marin (IEEE Trans. Syst. Sci. Cybern., 1970)

A Computer Algorithm for the Synthesis of Memoryless Logic Circuits. - Eduard Cerny; Miguel A. Marin (IEEE Trans. Computers, 1974)

An Approach to Unified Methodology of Combinational Switching Circuits. - Eduard Cerny; Miguel A. Marin (IEEE Trans. Computers, 1977)

Expert systems in transmission planning. - Francisco D. Galiana; Donald T. McGillis; Miguel A. Marin (Proc. IEEE, 1992)