Lan Lin, Stacy J. Prowell, Jesse H. Poore: An axiom system for sequence-based specification. Theor. Comput. Sci. 411(2): 360-376 (2010)