Transition Specifications for Dynamic Abstract Data Types

• Localización: Applied categorical structures, ISSN 0927-2852, Vol. 5, Nº 3, 1997, págs. 265-308
• Idioma: inglés
• Texto completo no disponible (Saber más ...)