An extension to algebraic specifications to incorporate state behavior. - Fred Calm; John R. White (ACM Annual Conference, 1979)