A. Arnold, A. Griffault, G. Point, and A. Rauzy, The altarica formalism for describing concurrent systems, Fundamenta Informaticae, pp.2-3, 2000.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.