© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Zed - a Z specification language font for PostScript Type 1 and TrueType
Richard E. Jones
BBS in a BOX CD-ROM, AMUG CD, Inc., 4131 N. 24th Street A-120,Phoenix, AZ 85016, June 1995 Available for Macintosh and Windows from the Oxford Z archive, Info-mac archive at Stanford University and mirrors.Bibtex Record
@misc{16, author = {Richard E. Jones}, title = {Zed --- a {Z} specification language font for {P}ost{S}cript {T}ype 1 and {T}rue{T}ype}, month = {June}, year = {1995}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {Available for Macintosh and Windows from the Oxford Z archive, Info-mac archive at Stanford University and mirrors}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1995/16}, edition = {Version 1.04}, howpublished = {BBS in a BOX CD-ROM, AMUG CD, Inc., 4131 N. 24th Street A-120,Phoenix, AZ 85016}, }