From Abstract Data Types to Logical Frameworks.

José Meseguer Narciso Martí-Oliet From Abstract Data Types to Logical Frameworks. 48-80 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#MeseguerM94