@book{JVMspec,
title={{The Java Virtual Machine Specification, Second Edition}},
author={T. Lindholm and F. Yellin},
year={1999}} 

@manual{ocaml,
title={The Objective Caml system, release 3.00},
year={2000},
author={X. Leroy and D. Doligez and J. Garrigue and D. R{\'e}my and
                  J. Vouillon}}  

@manual{elan,
title={The Elan V3.4. Manual},
year={2000},
author={P. Borovansk{\'y} and H. Cirstea and H. Dubois and C. Kirchner
                  and H. Kirchner and P.-E. Moreau and C. Ringeissen
                  and M. Vittek}}  



@Manual{JCVM21,
  title =        "Java Card 2.1 Virtual Machine Specification",
  organization = "Sun Microsystems, Inc.",
  address =      "Palo Alto/CA, USA",
  year =         "1999",
}



@Manual{JCRE21,
  title =        "Java Card 2.1 Runtime Environment (JCRE) Specification",
  organization = "Sun Microsystems, Inc.",
  address =      "Palo Alto/CA, USA",
  year =         "1999",
}


@Manual{JCVM22,
  title =        "Java Card 2.2 Virtual Machine Specification",
  organization = "Sun Microsystems, Inc.",
  address =      "Palo Alto/CA, USA",
  year =         "2002",
}



@Manual{JCRE22,
  title =        "Java Card 2.2 Runtime Environment (JCRE) Specification",
  organization = "Sun Microsystems, Inc.",
  address =      "Palo Alto/CA, USA",
  year =         "2002",
}

@Manual{JCAPI22,
  title =        "Java Card 2.2 Application Programming Interface (API)",
  organization = "Sun Microsystems, Inc.",
  address =      "Palo Alto/CA, USA",
  year =         "2002",
}

@Manual{jcsec,
  title =        "Java Card Platform Security",
  organization = "Sun Microsystems, Inc.",
  address =      "Palo Alto/CA, USA",
  year =         "2001",
note={Technical White Paper}
}


@book{JLS,
  title =        "Java Language Specification",
author={J. Gosling and B. Joy and G. Steele},
 publisher={Addison-Wesley},
series={The Java Series},
  year =         "1996"
}



@manual{haskell,
title={Haskell 1.4.: A Non-strict, Purely Functional Language},
author={ J. Peterson and  K. Hammond (editors)},
year={1997},
month={April}}

@manual{yarrow,
title={Yarrow: user guide},
author={J. Zwanenburg},
year={1997},
organization={Eindhoven Technical University}}

@manual{cafeobj:manual,
TITLE = {{CafeOBJ}: A Reference Manual},
        AUTHOR = {K. Futatsugi and R. Diaconescu},
        YEAR = 1997,
        ORGANIZATION = {Japan Advanced Institute of Science and Technology},
        NOTE = {To appear}}

@manual{pvs,
        TITLE = {The {PVS} Proof Checker: A Reference Manual},
        AUTHOR = {N.~Shankar and S.~Owre and J.M.~Rushby},
        MONTH = feb,
        YEAR = 1993,
        ORGANIZATION = {Computer Science Laboratory, SRI International},
	note={Supplemented with the PVS2 Quick Reference Manual, 1997}	  
		  }

@manual{obj:manual,
author={J. Goguen and T. Winkler and J. Meseguer and K. Futatsugi and
		  J.-P. Jouannaud},
title={Introducing {OBJ}},
year={1993}}

@manual{reduce,
 author=        "A.C. Hearn",
 title=         "{REDUCE User's Manual Version 3.5}",
 institution=   "RAND",
 year =         "1993",
 month=         "October",
 note=          "RAND Publication CP78"}

@manual{larch,
 author=        "S.J. Garland and J.V. Guttag",
 title=         "{A guide to LP, the Larch Prover}",
 institution=   "DEC Systems Research Center",
 year =         "1991",
 month=         "December",
 note=          "Report 82, DEC Systems Research Center"}


@manual{clean,
author={R. Plasmeijer and M. van Eekelen},
year={1996}, 
title={Clean 1.0 Reference Manual}, 
institution={Department of Computer Science, University of Nijmegen}}

@TechReport{lego,
  author = 	"Z. Luo and R. Pollack",
  title = 	"{LEGO} Proof Development System: User's Manual",
  institution = "LFCS, University of Edinburgh",
  year = 	1992,
  number = 	"ECS-LFCS-92-211",
  month = 	"May"}


@manual{coq
, AUTHOR       = {{Coq Development Team}} 
, TITLE        = {{The Coq Proof Assistant User's Guide. Version 8.0}}
, MONTH        = {January}
, YEAR         = {2004}} 




@TECHREPORT{otter
, AUTHOR       = {W.W. McCune}
, TITLE        = {{OTTER} 2.0 {U}sers {G}uide}
, INSTITUTION  = {Argonne National Laboratory}
, NUMBER       = {ANL-90/9}
, MONTH        = {March}
, YEAR         = 1990
}

@TECHREPORT{otter91
, AUTHOR       = {W.W. McCune}
, TITLE        = {What's new in {OTTER} 2.2}
, INSTITUTION  = {Argonne National Laboratory}
, NUMBER       = {ANL/MCS-TM-153}
, MONTH        = {July}
, YEAR         = 1991
}

@unpublished{mizar,
author={P. Rudnicki},
title={An overview of the {MIZAR} project},
year={1992},
note={Available by ftp from {\tt menaik.cs.ualberta.ca} in directory
		  {\tt pub/Mizar}}}





@unpublished{magma,
author={J. Cannon and C. Playoust},
title={{An Introduction to Magma}},
year={1995},
month={April},
note={{available with the Magma package}}}

@manual{alf,
author={T. Altenkirch and V. Gaspes and B. Nordstr{\"o}m and B. von
		  Sydow},
title={A user's guide to {ALF}},
year={1994},
month={June},
note={Available by ftp from {\tt ftp.cs.chalmers.se} in directory 
{\tt pub/provers} along with the implementation}}

@manual{gofer:manual,
author={M. Jones},
title={Introduction to {Gofer}},
year={1991},
note={Included as part of the Gofer distribution. Available by
		  anonymous {\tt ftp} from {\tt nebula.cs.yale.edu} in
		  the directory {\tt pub/haskell/gofer}}}

@TechReport{isabelle:manual,
  author = 	"L.C. Paulson",
  title = 	"The {Isabelle} Reference Manual",
  institution = "The University of Cambridge Computer Laboratory",
  year = 	"1993",
  number = 	"283",
  note =        "Available by ftp from {\tt ftp.cl.cam.ac.uk}, along
		  with the implementation." }