Jlógica, un entorno de diseño de sistemas digitales - José A. Álvarez; V. J. Ruiz; Juan Francisco Sanjuan Estrada; Javier Roca P.; Carlos A. Bermejo (IX Jornadas de Enseñanza Universitaria de la Informática: Ca?diz, del 9 al 11 de julio de 2003, 2003)