Title: Workers' compensation in Florida, 1935-1995