The formal specification of an abstract machine:  design and implementation
Published: 1984
Language: eng
Subjects: Computer Science
Notes: Available from National Technical Information Service, Springfield, Va.

Thesis (M.S. in Computer Science) Naval Postgraduate School, 1984.

Bibliography:  p. 149-150.

c.1 - 213245, c.2 - 213246