Stephen Lack, John Power: Gabriel-Ulmer duality and Lawvere theories enriched over a general base. J. Funct. Program. 19(3-4): 265-286 (2009)