@PREAMBLE{"\providecommand\url[1]{\texttt{#1}}"}
@Article{Braun,
title = {The Recognition of Deterministic {CFL}'s in Small Time and Space},
author = {Burckard von Braunm{\"u}hl and Stephen Cook and Kurt Mehlhorn and Rutger Verbeek},
pages = {34--51},
journal= {Information and Control},
month = jan # "/" # feb,
year = 1983,
volume = 56,
number = {1/2}
}
@Book{Bedell,
author = "K. S. Bedell and D. Coffey and D. E. Heltzer and D.
Pines and J. R. Schrieffer",
title = "High Temperature Superconductivity Proceedings",
publisher = "Ad{\-d}i{\-s}on-Wes{\-l}ey",
address = "Reading, MA, USA",
pages = "xiv + 474",
year = "1990",
ISBN = "0-201-51249-1",
ISBN-13 = "978-0-201-51249-6",
LCCN = "QC611.98.H54 H34 1989",
bibdate = "Tue Dec 14 22:58:34 1993",
note = "Prepared with {\TeX}.",
acknowledgement = "Mona Zeftel,
Addison-Wesley Publishing Company,
Reading, MA, USA,
e-mail: \url{
[email protected]}"},
}
@InProceedings{Azra,
author = {{Jean-Pierre} Azra},
title = {Relations {Diophantiennes} et la solution n{\'e}gative du 10e probl{\`e}me de {Hilbert}},
booktitle = {S\'eminaire Bourbaki---vol. 1970/71. Expos\'es 382--399},
series = {Lecture Notes in Mathematics},
publisher = {Springer-Verlag},
volume = 244,
pages = {11--28},
year = 1971,
language = french
}
@Manual{BM0,
title = {A {\LaTeX{}} macro package for Message Sequence
Charts---User Manual---Describing {\texttt{mscpack}}
version~1.13},
author = {V. Bos and S. Mauw},
address= "CTAN",
year = 2002,
month = {June},
note = {Included in MSC macro package distribution}
}
@Proceedings{FOCS,
title = {$17^{\it th}$ Annual Symposium on Foundations of Computer Science},
booktitle = {$17^{\it th}$ Annual Symposium on Foundations of Computer Science},
year = 1976,
address = {Houston, Texas},
month = {25--26 } # oct,
organization = {IEEE},
crossrefonly = 1
}
@InBook{Knuth,
author = "Donald E. Knuth",
title = "Fundamental Algorithms",
volume = 1,
series = "The Art of Computer Programming",
publisher= "Addison-Wesley",
address = "Reading, Massachusetts",
edition = "Second",
month = "10~" # jan,
year = 1973,
type = "Section",
chapter = "1.2",
pages = "10--119",
note = "This is a full INBOOK entry",
}
@phdthesis{Klose,
author = "Jochen Klose",
title = "Live Sequence Charts: A Graphical Formalism for the Specification
of Communication Behavior",
year = 2003,
school = {Carl von Ossietzky Universit\"{a}t Oldenburg},
x-topics = "lsc spec diss"
}
@bookinarticle{BHG226e,
Crossref = {VanDeun1990},
Pages = {326-335},
Title = {Mémoire sur le saint apôtre Barnabé}}
@article{VanDeun1990,
Author = {Van Deun, Peter},
Journal = {Analecta Bollandiana},
Number = {108},
Pages = {323-335},
Subtitle = {Édition et traduction},
Title = {Un mémoire anonyme sur saint Barnabé (BHG 226e)},
Year = {1990}}
