A Semantic Framework for Deterministic Functional Input/Output (2006)

by Malcolm Dowse