@book{ditchev-soskov,
author = {Ангел Дичев и Иван Сосков},
title = {Теория на програмите},
year = 1998,
publisher = {СУ ,,Св. Климент Охридски''}
}

@book{nikolova-soskova,
author = {Стела Николова и Александра Соскова},
title = {Семантика на езиците за програмиране. Ръководство},
year = 2008,
publisher = {СОФТЕХ}
}

@book{fernandez,
author = {Maribel Fernandez},
title = {Programming languages},
publisher = {Springer},
year = {2014}}

@book{reynolds,
author = {John C. Reynolds},
title = {Theories of Programming Languages},
publisher = {Cambridge University Press},
year = {1998}}

@book{winskel,
author = {Glynn Winskel},
title = {The Formal Semantics of Programming Languages},
year = {1993},
publisher = {MIT Press}}

@book{nielson,
author = {Hanne Riis Nielson and Flemming Nielson},
title = {Semantics with Applications},
publisher = {Springer},
year = {2007}}

@book{hutton-haskell,
author = {Graham Hutton},
title = {Programming in Haskell},
publisher = {Cambridge},
year = {2007}}

@book{bird-haskell,
author = {Richard Bird},
title = {Thinking Functionally with Haskell},
publisher = {Cambridge University Press},
year = {2015}}

@book{muchnick-compiler,
  author    = {Steven S. Muchnick},
  title     = {Advanced Compiler Design and Implementation},
  publisher = {Morgan Kaufmann},
  year      = 1997,
  isbn      = {1-55860-320-4},
  timestamp = {Mon, 05 Jan 2004 14:58:03 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/mk/Muchnick1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}}

@article{sedgewick-permutations,
author = {Robert Sedgewick},
title = {{Permutation Generation Methods}},
year = {1977},
volume = {9},
number = {2},
journal = {Coumputing Surveys}}

@article{floyd-verification,
author = {Robert Floyd},
title = {Assigning meanings to programs},
journal = {Proceedings of the American Mathematical Society Symposia on Applied Mathematics},
volume = {vol. 19},
pages = {pp. 19 -- 31},
year = {1967}}

@book{manna,
author = {Zohar Manna},
title = {Mathematical Theory of Computation},
year = {1974},
publisher = {McGraw-Hill}}

@book{domains-book,
title = {Mathematical Theory of Domains},
author = {Viggo Stolenberg-Hansen and Ingrid Lindsr\"om and Edward R. Griffor},
publisher = {Cambridge University Press},
year = {1994}}

@book{tennent-book,
title = {Semantics of Programming Languages},
author = {R. D. Tennent},
publisher = {Prentice Hall}}

@book{real-world-haskell,
 author = {O'Sullivan, Bryan and Goerzen, John and Stewart, Don},
 title = {Real World Haskell},
 year = {2008},
 isbn = {0596514980, 9780596514983},
 edition = {1st},
 publisher = {O'Reilly Media, Inc.},
} 

@book{haskell-road-to-logic,
author = {Doets, Kees and van Eijck, Jan},
title = {The Haskell Road to Logic, Math and Programming},
year = {2004},
publisher = {College Publications},
edition = {1st}}

@InCollection{abramsky94,
  author = 	{S. Abramsky and A. Jung},
  booktitle = 	{Handbook of Logic in Computer Science},
  title = 	{Domain Theory},
  publisher = 	{Clarendon Press},
  pages = 	{1--168},
  year = 	1994,
  editor = 	{S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  volume = 	3}

@unpublished{roscoe-notes,
  title = "Notes on Domain Theory",
  author = "A. W. Roscoe",
  year = "1989",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/domnotes.pdf"}


@book{hanbook-cs,
 editor = {van Leeuwen, Jan},
 title = {Handbook of Theoretical Computer Science (Vol. B): Formal Models and Semantics},
 year = {1990},
 isbn = {0-444-88074-7},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA}} 

@unpublished{scott-1969,
author = {D.S. Scott},
title = {A type-theoretical alternative to ISWIM, CUCH, OWHY},
year = {1969}}


@online{WinNT,
  author = {MultiMedia LLC},
  title = {{MS Windows NT} Kernel Description},
  year = 1999,
  url = {http://web.archive.org/web/20080207010024/http://www.808multimedia.com/winnt/kernel.htm},
  urldate = {2010-09-30}
}
@Comment http://alpmestan.com/posts/2013-10-02-oh-my-laziness.html


@article{church1932,
author = {Church, Alonzo},
title = {A set of postulates for the foundation of logic},
year = {1932},
journal = {Annals of Mathematics},
volume = {II.33},
pages = {364 -- 366}}

@book{models-of-computation,
author = {Roberto Bruni and Ugo Montanari},
title = {Models of Computation},
year = {2017},
publisher = {Springer}}

@book{barendregt-handbook,
author = {Barendregt, Hendrik},
year = {1984},
title = {The Lambda Calculus: Its Syntax and Semantics},
volume = {103: North-Holland}
}