@Misc{color,
author={Color Project},
title={\verb!http://color.inria.fr!}}

@Misc{mobius,
author={Mobius Project},
title={\verb!http://mobius.inria.fr!}}


@Misc{jits,
author={Java In the Small Project},
title={\verb!http://www.lifl.fr/RD2P/JITS/!}}

@Misc{ovm,
author={{OVM project}},
note={\verb!http://www.ovmj.org/!},
key={~}}


@Misc{jikes,
author={{Jikes Research Virtual Machine}},
note={\verb!http://jikesrvm.sourceforge.net/!},
key={~}}

@Misc{reset,
title={{Roadmap for European Research on Smartcard Technologies}},
note={\verb!http://www.ercim.org/reset!},
key={~}}

@Misc{eesc,
note={\verb!http://eeurope-smartcards.org!.},
author={{e-Europe SmartCards}}}

@Misc{cofi,
author={CoFi Project},
title="http://www.brics.dk/Projects/CoFI/"}

@Misc{p:tactic,
title={{Function Schemes in Coq: documentation and tutorial}},
note={\verb!http://www-sop.inria.fr/lemme/Pierre.Courtieu/funscheme.html!.},
author={P. Courtieu}}

@Misc{loic:algebra,
author={L. Pottier},
title={Basics notions of algebra},
note={\verb!http://coq.inria.fr/contribs/algebra.html!}}


@Misc{fta,
author={H. Geuvers and F. Wiedijk and J. Zwanenburg and R. Pollack and H. Barendregt},
title={{The Fundamental Theorem of Algebra in Coq}},
note={\verb!http://coq.inria.fr/contribs/fta.html!}}


@Misc{agda,
title={{Agda}},
note={\verb!http://www.cs.chalmers.se/~catarina/agda!},
author={C. Coquand}}

@Misc{GP,
note={See \verb!http://www.globalplatform.org!},
author={Global Platform}}


@Misc{asm,
author={{The ASM homepage}},
note={\verb!http://www.eecs.umich.edu/gasm!}}


@Misc{bali,
author={{BALI project}},
note={\mbox{} \\\verb!http://www4.informatik.tu-muenchen.de/~isabelle/bali!}}

@misc{bandera,
author={{Bandera project}},
note={\verb!http://www.cis.ksu.edu/santos/bandera!}}

@Misc{cc,
author={Common Criteria},
note = {\verb!http://www.commoncriteria.org!}}

@Misc{flint,
author={{FLINT project}},
note={\verb!http://flint.cs.yale.edu!}}

@Misc{jc,
author={{JavaCard Technology}},
note= {\verb!http://java.sun.com/products/javacard!}}

@Misc{jcf,
author={{JavaCard Forum}},
note= {\verb!http://www.javacardforum.org!.}}

@Misc{jml,
author={{JML Specification Language}},
note={\verb!http://www.jmlspecs.org!.}}

@misc{kvm,
author={{Connected Limited Device Configuration (CLDC) and the K Virtual Machine (KVM)}},
note={\verb!http://java.sun.com/products/cldc!}}

@Misc{loop,
author={{LOOP project}},
note={\verb!http://www.cs.kun.nl/~bart/LOOP!}}

@Misc{tal,
author={{TAL project}},
note={\verb!http://www.cs.cornell.edu/talc!}}

@Misc{pfenning:lf,
  author = 	"F.Pfenning",
  title = 	"Logical Frameworks",
  note = 	"World Wide Web, 
{\tt http://www.cs.cmu.edu:8001/afs/cs/user/fp/www/lfs.html}",
  year = 	"1994",
  month = 	"October"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%      ELECTRONIC DOCUMENTS                     %
%    Messages on mailing lists                  %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@unpublished{pot:types,
author={G. Pottinger},
title={Definite descriptions and exluded middle in the theory of
		  constructions},
year={1989},
note={Message distributed to the `Types' mailing list}}


@unpublished{HPT98:types,
title={Subject reduction fails in {J}ava},
author={H. Hosoya and B. Pierce and D.N. Turner},
year={1998},                                 
note={Message to the TYPES mailing list}}