@unpublished{LabProd.ps,
	url ="ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/LabProd.ps",
	update =" [Jun 9 1994] ",
	size = "33k",
	title = "Adding labelled products to ZF set theory",
	author = "Stephen Brien",
	year = 1994,
	 number = "Z-???",
	month = "25 May",
	supercedes = ""
}

@unpublished{Numbers.ps,
	 url ="ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/Numbers.ps",
	 update = " [Feb 6 1997] ",
	 size = "321k",
	 pagesize = "11 pages A4",
	 title = "The Place of Numbers in Z -- a Discussion Paper",
	 author = "Sam Valentine",
	 month = "30 January",
	 year = "1997",
	number = "Z-223",
	 supercedes = ""
}

@unpublished{Zsem.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/Zsem.ps",
	 update = "[Feb 8 1995] ",
	 size = "98k",
	 title = "",
	 author = "",
	 year = "",
	 month = "",
	 number = "Z-???",
	 supercedes = ""
}

@unpublished{d-231.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/d-231.ps",
	 update = "[Jan 13 20:42] ",
	 size = "27k",
	 title = "Fonts for keywords in the Z standard",
	 author = "John Nicholls",
	 year = "",
	 number = "Z-231",
	 month = "",
	 supercedes = ""
}

@unpublished{fixity.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/fixity.ps",
	 update = "[Feb 6 1997] ",
	 size = "186k",
	 title = "Revised syntax for fixity paragraphs",
	 author = "Ian Toyn",
	 month = "29 January",
	 year = 1997,
	 pagesize = "2 pages A4",
	 number = "Z-218",
	 supercedes = ""
}

@unpublished{freetypes.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/freetypes.ps",
	 update = "[Feb 6 1997] ",
	 size = "210k",
	 title = "Free types - by transformation",
	 author = "Ian Toyn and Sam Valentine",
	 month = "29 January",
	 year =  1997, 
	 size = "2 pages A4",
	 number = "Z-216",
	 supercedes = ""
}

@unpublished{geninf.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/geninf.ps",
	 update = "[Jul 24 1995] ",
	 size = "234k",
	 title = "Two proposals for generic inference",
	 author = "Mark Saaltink",
	 number = "Z-???",
	 year = " 1995",
	 month = " July 7",
	 supercedes = ""
}

@unpublished{genlift.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/genlift.ps",
	 update = "[Jun 9 1995] ",
	 size = "59k",
	 number = "Z-???",
	 title = "Generic Lifting (version 2)",
	 author = " Peter Lupton",
	 year = "1995",
	 month = " 9th June",
	 supercedes = "",
	 pagesize = "3 pages",
	 note = "Presented at the York meeting on semantics"}

@unpublished{justdisj.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/justdisj.ps",
	 update = "[May 31 1996] ",
	 size = "38k",
	 title = "Semantic equations versus transformation rules",
	 author = "Ian Toyn",
	 year = "1996",
	 number = "Z-???",
	 month = " May 22",
	 pagesize = "1 page",
	 supercedes = ""
}

@unpublished{lia-rep.txt,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/lia-rep.txt",
	 update = "[Apr 23 1996] ",
	 size = "5k",
	 title = "Report on Language Independent Arithmetic (LIA) by Toolkit Group",
	 author = "Sam Valentine",
	 year = "1996",
	 number = "Z-???",
	 month = "20 April",
	 supercedes = ""
}

@unpublished{logical.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/logical.ps",
	 update = "[Jun 9 1995] ",
	 size = "377k",
	 title = "",
	 number = "Z-???",
	 author = "",
	 year = "",
	 month = "",
	 supercedes = ""
}

@unpublished{mod.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/mod.ps",
	 update = "[May 11 1995] ",
	 size = "129k",
	 title = "Modules for Z ",
	 author = "Rob Arthan",
	 year = "1995",
	 month = "11 May ",
	 number = "Z-178",
	 supercedes = ""
}

@unpublished{numbers2.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/numbers2.ps",
	 update = "[Feb 8 1997] ",
	 size = "362k",
	 title = "Numbers in Z ",
	 author =  "Ian Toyn",
	 year = "1997",
	 month = "January 29th",
	 number = "Z-219",
	 supercedes = ""
}

@unpublished{numbers2a.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/numbers2a.ps",
	 update = "[Feb 6 1997] ",
	 size = "262k",
	 title = "Numbers in Z - treating number literals as words ",
	 author = " Ian Toyn",
	 year = "1997",
	 month = "January 29th",
	 number = "Z-220",
	 supercedes = ""
}

@unpublished{numbers2b.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/numbers2b.ps",
	 update = "[Feb 8 1997] ",
	 size = "261k",
	 title = "Numbers in Z - not treating number literals as words ",
	 author = "Ian Toyn",
	 year = " 1997",
	 month = "January 29th",
	 pagesize = "3 pages A4",
	 number = "Z-221",
	 supercedes = ""
}

@unpublished{oo-z.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/oo-z.ps",
	 update = "[Feb 3 1995] ",
	 size = "102k",
	 title = "Object- oriented extensions to Z and their relationship to the Z Standard",
	 author = "Stephen Brien",
	 year = "1994",
	 month = "September 6th",
	 number = "Z-166",
	 pagesize = "8 pages",
	 supercedes = ""
}

@unpublished{semlist2.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/semlist2.ps",
	 update = "[Nov 7 1995] ",
	 size = "124k",
	 title = "Semantic equations in the Z Standard",
	 author = "John Nicholls (editor)",
	 year = "1995",
	 month = "7 November",
	 pagesize = "11 pages",
	 number = "Z-???",
	 supercedes = "",
	 note = "This lists the semantic equations in version 1.2 of the Z Standard."
}

@unpublished{seq.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/seq.ps",
	 update = "[Feb 6 1997] ",
	 size = "243k",
	 title = "Sequence arguments ",
	 author = " Ian Toyn",
	 year = "1996",
	 month = "December 19th",
	 pagesize = " 4 pages A4",
	 number = "Z-217",
	 supercedes = ""
}

@unpublished{syntax9.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/syntax9.ps",
	 update = "[Feb 6 1997] ",
	 size = "534k",
	 title = "Abstract and Concrete Syntaxes of Z ",
	 author = " Ian Toyn",
	 year = " 1997",
	 month = "January 29th",
	 pagesize = "29 pages A4",
	 number = "Z-215",
	 supercedes = ""
}

@unpublished{tuples.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/tuples.ps",
	 update = "[Feb 6 1997] ",
	 size = "179k",
	 title = "Treating tuples as bindings",
	 author = "Ian Toyn",
	 year = "1997",
	 month = "January 29th",
	 number = "Z-222",
	 supercedes = ""
}

@unpublished{vdm-z-sym.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/vdm-z-sym.ps",
	 update = "[Mar 1 1995] ",
	 size = "125k",
	 title = "The mathematical symbols of Z and VDM-SL: A comparison",
	 author = "Rodger Collinson",
	 year = "1995",
	 month = "February 23",
	 pagesize = "(9 pages)",
	 number = "Z-171",
	 supercedes = ""
}

@unpublished{z-154.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-154.ps",
	 update = "[Jun 9 1994] ",
	 size = "113k",
	 title = "Revisions to Z Semantics",
	 author = "Stephen Brien",
	 year = "1994",
	 month = "2 March",
	 number = "Z-154",
	 supercedes = ""
}

@unpublished{z-159.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-159.ps",
	 update = "[Jun 27 1994] ",
	 size = "55k",
	 title = "",
	 number = "Z-159",
	 author = "",
	 year = "",
	 month = "",
	 supercedes = ""
}

@unpublished{z-159v2.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-159v2.ps",
	 update = "[Sep 22 1994] ",
	 size = "63k",
	 number = "Z-159v2",
	 title = "",
	 author = "",
	 year = "",
	 month = "",
	 supercedes = ""
}

@unpublished{z-160.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-160.ps",
	 update = "[Jul 22 1994] ",
	 size = "122k",
	 title = "Comments on Appendix D : Z Interchange Format",
	 author = "Cowan and  German and Ryman",
	 year = "",
	 month = "",
	 number = "Z-160",
	 supercedes = ""
}

@unpublished{z-163.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-163.ps",
	 update = "[Sep 8 1994] ",
	 size = "148k",
	 title = "",
	 number = "Z-163",
	 author = "",
	 year = "",
	 month = "",
	 supercedes = ""
}

@unpublished{z-164.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-164.ps",
	 update = "[Sep 28 1994] ",
	 size = "113k",
	 number = "Z-164",
	 title = "",
	 author = "",
	 year = "",
	 month = "",
	 supercedes = ""
}

@unpublished{z-173.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-173.ps",
	 update = "[Mar 28 1995] ",
	 size = "124k",
	 title = "Z Standard Syntax (Proposed)",
	 author = "Pete Steggles and Will Harwood",
	 year = " 1995 ",
	 month = "6th March",
	 number = "Z-173",
	 pagesize = "18 pages",
	 supercedes = ""
}

@unpublished{z-177.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-177.ps",
	 update = "[Jun 12 1995] ",
	 size = "136k",
	 title = "Proposal for Lexis ",
	 author = "Susan Stepney",
	 year = " 1995",
	 month = "24 May",
	 number = "Z-177",
	 supercedes = ""
}

@unpublished{z-181.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-181.ps",
	 update = "[Aug 4 1995] ",
	 size = "136k",
	 title = "Modules for Z",
	 author = " R.D. Arthan ",
	 year = " 1995 ",
	 month = " 3 August ",
	 number = "Z-181",
	 supercedes = "Z-178"
}

@unpublished{z-182.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-182.ps",
	 update = "[Sep 15 1995] ",
	 size = "137k",
	 title = "Modularity for Z",
	 author = " R.D. Arthan ",
	 year = " 1995",
	 month = "14 September",
	 pagesize = " 9 pages ",
	 number = "Z-182",
	 supercedes = "Z-181"
}

@unpublished{z-186.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-186.ps",
	 update = "[Jan 9 1996] ",
	 size = "54k",
	 title = "Minutes of a drafting meeting held in the PRG on 20 December 1995",
	 author = " Will Harwood and John Nicholls ",
	 year = "1996",
	 month = "9th January",
	 pagesize = "3 pages",
	 number = "Z-186",
	 supercedes = "",
	 note = "(Discusses proposed changes to the method of semantic definition in the standard)"
}

@unpublished{z-188.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-188.ps",
	 update = "[Mar 1 1996] ",
	 size = "113k",
	 title = "Arithmetic for Z",
	 author = " Rob Arthan",
	 year = "1996",
	 month = "26 February ",
	 number = "Z-188",
	 supercedes = "Z-142",
	 note = "Output from a meeting of the Toolkit subgroup, held on 20th February 1996.  (This supersedes an earlier document (142) dated 29/6/93)"
}

@unpublished{z-191v2.txt,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-191v2.txt",
	 update = "[Oct 23 1996] ",
	 size = "2k",
	 title = " Revision of Document 191: Revised Lexis for WORD",
	 author = "Susan Stepney ",
	 number = "Z-???",
	 year = "1996",
	 month = "19 September",
	 supercedes = ""
}

@unpublished{z-195.txt,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-195.txt",
	 update = "[Apr 9 1996] ",
	 size = "6k",
	 title = "Proposal to merge schemas with expressions",
	 author = "Ian Toyn",
	 year = "1996",
	 month = "18th March",
	 supercedes = "",
	 note = "Discussion of points raised on the CD ballot.",
	 number = "Z-195"
}

@unpublished{z-197.txt,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-197.txt",
	 update = "[May 15 1996] ",
	 size = "9k",
	 title = "Concrete syntax for substitution -- let there be ``let''",
	 author = "Sam Valentine",
	 year = "1996",
	 month = "April",
	 pagesize = "4 pages",
	 number = "Z-197",
	 supercedes = ""
}

@unpublished{z-199.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-199.ps",
	 update = "[May 30 1996] ",
	 size = "85k",
	 title = "Syntax decisions and issues",
	 author = "Susan Stepney",
	 year = "1996",
	 month = "29th May",
	 number = "Z-199",
	 supercedes = "",
	 note = "A report of a meeting held to discuss syntax issues raised by recent proposals"
}

@unpublished{z-200.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-200.ps",
	 update = "[May 31 1996] ",
	 size = "148k",
	 title = "Report of Disposition of Comments meeting held on 26th April 1996",
	 author = "John Nicholls",
	 year = "1996",
	 month = "31st May",
	 pagesize = "14 pages",
	 number = "Z-200",
	 supercedes = ""
}

@unpublished{z-202.txt,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-202.txt",
	 update = "[Jul 11 1996] ",
	 size = "4k",
	 title = "Working Plan for a New CD",
	 author = "John Nicholls",
	 year = "1996",
	 month = "5th July",
	 number = "Z-202",
	 supercedes = ""
}

@unpublished{z-204.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-204.ps",
	 update = "[Aug 14 1996] ",
	 size = "53k",
	 title = "Conventions for state-based descriptions in Z",
	 author = "Steve King",
	 year = "1996",
	 month = "13th August",
	 number = "Z-204",
	 supercedes = ""
}

@unpublished{z-207.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-207.ps",
	 update = "[Oct 29 1996] ",
	 size = "19k",
	 title = "Report to SC22 Plenary - London September 1996",
	 author = "John Nicholls",
	 year = "1996",
	 month = "September",
	 number = "Z-207",
	 supercedes = ""
}

@unpublished{z-208.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-208.ps",
	 update = "[Oct 29 1996] ",
	 size = "19k",
	 title = "Formal methods in standards Presentation to SC22 plenary meeting",
	 author = "John Nicholls",
	 year = "1996",
	 month = "September",
	 number = "Z-208",
	 supercedes = ""
}

@unpublished{z-211.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-211.ps",
	 update = "[Nov 6 1996] ",
	 size = "89k",
	 title = "Abstract syntax -- review and conclusions ",
	 author = "Ian Toyn",
	 year = "1996",
	 month = "July 18 ",
	 number = "Z-211",
	 pagesize = "5 pages",
	 supercedes = ""
}

@unpublished{z-212.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-212.ps",
	 update = "[Nov 6 1996] ",
	 size = "187k",
	 title = "Abstract and concrete syntaxes of Z ",
	 author = "Ian Toyn",
	 year = "1996",
	 month = "July 12",
	 pagesize = "16 pages",
	 number = "Z-212",
	 supercedes = ""
}

@unpublished{z-213.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-213.ps",
	 update = "[Nov 6 1996] ",
	 size = "81k",
	 title = "Number literals in Core Z",
	 author = "Ian Toyn and Sam Valentine ",
	 year = "1996",
	 month = "November 1",
	 supercedes = "",
	 pagesize = "4 pages",
	 number = "Z-213"
}

@unpublished{zascii.ps,
	 url = "ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/zascii.ps",
	 update = "[Jul 18 1995] ",
	 size = "59k",
	 title = " Revisions to the Lexis definition of a standard human-oriented textual representation for Z specifications",
	 author = "Mark Saaltink, Randolph Johnson and William Milam",
	 year = "1995",
	 month = "14 July",
	 pagesize = "4 pages",
	 number = "X3J21/95-043",
	 supercedes = ""
}

@unpublished{d234.ps,
	url = "ftp://public.logica.com/pub/stepneys/d234.ps",
	update = "",
	size = "125k",
	title = "Proposal to add the ISO Standard Z character set
		to Unicode/ISO-IED 10646",
	author = "Susan Stepney",
	year = 1998,
	month = "2 March",
	pagesize = "12 pages",
	number = "Z-234",
	supercedes = ""}

@unpublished{Z-201,
	number = "Z-201",
	author = "John Nicholls",
	title = "Working plan for a new CD"}

@unpublished{Z-203,
	number = "Z-203",
	author = "",
	title = "Minutes of meeting"}


@unpublished{Z-205,
	number = "Z-205",
	author = "None",
	title = "Unused"}



@unpublished{Z-209,
	number = "Z-209",
	author = "Stepney",
	title = "Revised Lexis for word"}

@unpublished{Z-214,
	number = "Z-214",
	author = "Hall",
	title = " Typing sections"}

@unpublished{Z-226,
	number = "Z-226",
	author = "Stepney",
	title = "Generic conjecture concrete syntax"}

@unpublished{Z-227,
	number = "Z-227",
	author = "Stepney",
	title = "Semantics of conjectures"}

@unpublished{Z-228,
	number = "Z-228",
	author = "Arthan",
	title = " Axioms for mutually recursive free types"}

@unpublished{Z-230,
	number = "Z-230",
	author = "Toyn",
	title = " Draft 06"}

@unpublished{Z-235,
	number = "Z-235",
	author = "Rob Arthan",
	url = "http://www.lemma-one.com/zstan\_docs/36.ps",
	title = " A Typed Formulation of the Semantics of Z"}


@unpublished{Z-236,
	number = "Z-236",
	author = "Ian Toyn",
	title = "Minutes of Semantics Subgroup Meeting",
	month = "23 March",
	year = 1998,
	url = "http://svrc.it.uq.edu.au/~apm/zstanmins/semanZ236.txt"}

@unpublished{draft08,
        author = "Ian Toyn",
        title = "Z Notation, Draft 0.8",
        year = 1998,
        month = "28th April",
        pagesize = "94 pages",
        number = "Z-237",
        url = "ftp://ftp.cs.york.ac.uk/hise\_reports/cadiz/ZSTAN/draft0.8.ps.gz"
}

% 238 : minutes of meeting 44

@unpublished{z-239,
	author = "Sam Valentine",
	title = "The Style of Definitions in the Mathematical Tool-kit",
	year = 1998,
	month = "July",
	pagesize = "6 pages",
	number = "Z-239",
	url = "ftp://ftp.cs.york.ac.uk/hise\_reports/cadiz/ZSTAN/whyUseLambda.ps"}


% 240 : minutes of meeting 46

% 241 : minutes of meeting 47

% 242 : minutes of meeting 48

@unpublished{z-243,
author = "Andrew Martin",
title = "A revised deductive system for {Z}",
year = 1998,
month = "February",
number = "Z-243",
url = "http://www.ecs.soton.ac.uk/~apm/zstan/z-243.ps"}

% 244 : minutes of meeting 49

@unpublished{z-245,
author = "Steve King",
title = "Aide-memoire of discussion held on 26/1/99 (ie what
shouldn't go in the offciial minutes)",
year = 1999,
month = "26th January",
number = "Z-245",
url = ""}


@unpublished{Z-246,
   author =     {Susan Stepney},
   title =      {Prelude explanatory note proposal},
   month =      {February},
   year =       {1999},
   number =       {Z-246},
   url =        {ftp://public.logica.com/pub/stepneys/d246.ps}
 }
 
@unpublished{Z-247,
   author =     {Susan Stepney},
   title =      {Free Type explanatory note proposal},
   month =      {February},
   year =       {1999},
   number =       {Z-247},
   url =        {ftp://public.logica.com/pub/stepneys/d247.ps}
 }
 
 

@unpublished{z-248,
author = {Andrew Martin},
title ={Problems in revising the Draft Z Standard's Logic},
month = {December},
year = {1998},
number  = {Z-248},
url = {http://www.ecs.soton.ac.uk/~apm/zstan/z-248.pdf},
note = {Previously called (in error) Z-244.  } 
}

% 249 : minutes of meeting 50

% 250 : minutes of meeting 51

% 251 : not used 

% 252 : minutes of meeting 52

% 253 : minutes of meeting 53

% 254 : minutes of meeting 54


@unpublished{z-255,
author = {Ian Toyn and Samuel Valentine},
title ={Type Inference Rules for Z},
month = {19th March},
year = {2000},
number  = {Z-255}
}

@unpublished{z-256,
author = {Rob Arthan},
title ={Notes on Prefix Operators},
month = {March},
year = {2000},
number  = {Z-256}
}