State Transition Assertions
State Transition Assertions (STAs) was developed as part of the
project; a SERC and DTI funded collaboration between INMOS, SRI
International, the Oxford University Programming Research Group and
the University of Cambridge Computer Laboratory. Below are the two
papers on STAs that were published, both in 1994.