LARA

Specification Variables for Public Interfaces

Fields such as 'content' in these case studies.