Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

📚 The CoCalc Library - books, templates and other resources

132939 views
License: OTHER
Tweet
Share
Share
1
@ARTICLE{bowman:reasoning,

2
	AUTHOR = "Mic Bowman and Saumya K. Debray and Larry L. Peterson",

3
	TITLE = "Reasoning About Naming Systems",

4
	JOURNAL = "ACM Trans. Program. Lang. Syst.",

5
	VOLUME = {15},

6
	NUMBER = {5},

7
	PAGES = {795-825},

8
	MONTH = "November",

9
	YEAR = {1993}	}

10


11
@ARTICLE{braams:babel,

12
	AUTHOR = "Johannes Braams",

13
	TITLE = "Babel, a Multilingual Style-Option System for Use with LaTeX's Standard Document Styles",

14
	JOURNAL = {TUGboat},

15
	VOLUME = {12},

16
	NUMBER = {2},

17
	PAGES = {291-301},

18
	MONTH = "June",

19
	YEAR = {1991}	}

20


21
@INPROCEEDINGS{clark:pct,

22
	AUTHOR = "Malcolm Clark",

23
	TITLE = "Post Congress Tristesse",

24
	BOOKTITLE = "TeX90 Conference Proceedings",

25
	PAGES = "84-89",

26
	ORGANIZATION = "TeX Users Group",

27
	MONTH = "March", 

28
	YEAR = {1991}	}

29


30
@ARTICLE{herlihy:methodology,

31
	AUTHOR = "Maurice Herlihy",

32
	TITLE = "A Methodology for Implementing Highly Concurrent

33
	Data Objects",

34
	JOURNAL = {ACM Trans. Program. Lang. Syst.},

35
	VOLUME = {15},

36
	NUMBER = {5},

37
	PAGES = {745-770},

38
	MONTH = "November",

39
	YEAR = {1993}	}

40


41
@BOOK{Lamport:LaTeX,

42
	AUTHOR = "Leslie Lamport",

43
	TITLE = "LaTeX User's Guide and Document Reference Manual",

44
	PUBLISHER = "Addison-Wesley Publishing Company",

45
	ADDRESS = "Reading, Massachusetts",

46
	YEAR = "1986"	}

47


48
@BOOK{salas:calculus,

49
	AUTHOR = "S.L. Salas and Einar Hille",

50
	TITLE = "Calculus: One and Several Variable",

51
	PUBLISHER = "John Wiley and Sons",

52
	ADDRESS = "New York",

53
	YEAR = "1978"	}

54


55


56


57


58


59


60


61