Some notes on "Operational semantics for order-sorted algebra".
Contributors: Queen Mary College. Department of Computer Science and Statistics.
Series: Report -- No.400
Publisher: Queen Mary College, Department of Computer Science and Statistics
Place of publication: London
Language: eng
Number of pages: 10