Auto/Autograph

Valérie Roy, Robert de Simone. Auto/Autograph. Formal Methods in System Design, 1(2/3):239-249, 1992.

Abstract

Abstract is missing.