Initial Algebra Semantics

Joseph A. Goguen, James W. Thatcher

Browse the full FOCS paper archive.