Enriched Lawvere theories. Power, John — 1999 Theory and Applications of Categories [electronic only]