© 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},
}