Per Year

 @incollection{
year={1990},
isbn={978-3-540-53048-0},
booktitle={CONCUR '90 Theories of Concurrency: Unification and Extension},
volume={458},
series={Lecture Notes in Computer Science},
editor={Baeten, J.C.M. and Klop, J.W.},
doi={10.1007/BFb0039071},
title={Equivalences, congruences, and complete axiomatizations for probabilistic processes},
url={http://dx.doi.org/10.1007/BFb0039071},
publisher={Springer Berlin Heidelberg},
author={Jou, Chi-Chang and Smolka, ScottA.},
pages={367-383}
}
 

 @article{gamma-scico15,
	Author = {Ban{\^a}tre, Jean-Pierre and Le M{\'e}tayer, Daniel},
	Doi = {10.1016/0167-6423(90)90044-E},
	Issn = {0167-6423},
	Journal = {Science of Computer Programming},
	Month = nov,
	Number = 1,
	Pages = {55--77},
	Title = {The {GAMMA} Model and its Discipline of Programming},
	Url = {http://www.sciencedirect.com/science/article/pii/016764239090044E},
	Volume = 15,
	Year = 1990} 

 @techreport{seterminology-ieeestd610121990,
    address = {New York, NY, USA},
    author = {{IEEE Standard Board}},
    doi = {10.1109/IEEESTD.1990.101064},
    institution = {IEEE},
    isbn = {1-55937467-X},
    keywords = {Software engineering; glossary; terminology; definitions; dictionary},
    note = {Reaffirmed 12-9-2002},
    number = 610.12-1990,
    pages = {1-84},
    title = {{IEEE} Standard Glossary of Software Engineering Terminology},
    type = {IEEE Std},
    url = {https://ieeexplore.ieee.org/document/159342},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=159342},
    year = 1990
} 

 @incollection{Bratman90,
	Address = {Cambridge, MA},
	Author = {Bratman, Michael E.},
	Booktitle = {Intentions in Communication},
	Editor = {Cohen, Philip R. and Morgan, Jerry L. and Pollack, Martha E.},
	Isbn = {978-0-262-03150-9},
	Isbn-10 = {0-262-03150-7},
	Month = jun,
	Pages = {15--32},
	Publisher = {The MIT Press},
	Title = {What is Intention?},
	Url = {http://mitpress.mit.edu/catalog/item/default.asp?tid=5832&ttype=2},
	Year = 1990}
 

 @incollection{christoff-concur1990,
	Author = {Christoff, Ivan},
	Booktitle = {CONCUR '90 Theories of Concurrency: Unification and Extension},
	Doi = {10.1007/BFb0039056},
	Editor = {Baeten, J.C.M. and Klop, J.W.},
	Isbn = {978-3-540-53048-0},
	Pages = {126--138},
	Publisher = {Springer Berlin Heidelberg},
	Series = {LNCS,
	Title = {Testing Equivalences and Fully Abstract Models for Probabilistic Processes},
	Url = {http://link.springer.com/chapter/10.1007/BFb0039056},
	Volume = 458,
	Year = 1990} 

 @article{ooparadigm-oopsmess1,
	acm = {383004},
	Address = {New York, NY, USA},
	Author = {Wegner, Peter},
	Doi = {10.1145/382192.383004},
	Issn = {1055-6400},
	Journal = {ACM SIGPLAN OOPS Messenger},
	Month = aug,
	Number = 1,
	Pages = {7--87},
	Publisher = {ACM},
	Title = {Concepts and Paradigms of Object-oriented Programming},
	Url = {http://dl.acm.org/citation.cfm?doid=383004},
	urlpdf = {http://dl.acm.org/ft_gateway.cfm?id=383004},
	Volume = 1,
	Year = 1990}