Valdis Berzins; Luqi
-;-
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Introduction to the Specification Language SPEC
IEEE Software