An Executable Specification of the HDG-Machine

David R Lester, Geoffrey L Burn

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	327-378
Number of pages	52
Journal	International Journal of High Speed Computing
Volume	5
Issue number	3
DOIs	https://doi.org/10.1142/S0129053393000153
Publication status	Published - 1993

Access to Document

@article{19c659190bd84cc998b1bac0cf9ce527,

title = "An Executable Specification of the HDG-Machine",

author = "Lester, {David R} and Burn, {Geoffrey L}",

year = "1993",

doi = "10.1142/S0129053393000153",

language = "English",

volume = "5",

pages = "327--378",

journal = "International Journal of High Speed Computing",

publisher = "World Scientific Publishing Co. Pte. Ltd",

number = "3",

}