Formal Specification of a Scanning Tunnelling Microscope. - Joaquín Nicolás; Juan Alcalde; José Ambrosio Toval Álvarez; Aurelio Arenas (APPIA-GULP-PRODE, 1997)

Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. - Joaquín Nicolás; José Ambrosio Toval Álvarez; Aurelio Arenas; Juan Alcalde (Cybern. Syst., 2001)