FOCUS: a theory of stream-processing functions Isabelle/
HOLCF
For introductions to FOCUSs, see
The Design of Distributed Systems - An Introduction to FOCUS
Specification and Refinement of a Buffer of Length One
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
For slides on
Buffer.thy
, see
Coinduction beats induction on streams
.