@book(resource-constrained-book:2008,
 author       = {Christian Artigues and Sophie Demassey and Emmanuel N\'ero},
 year         = {2008},
 title        = {Resource-Constrained Project Scheduling},
 publisher    = {ISTE and Wiley},
 address      = {London, UK, and Hoboken, USA},
 doi          = {10.1002/9780470611227},
)
@misc(haskell-web:2016,
 author       = {Haskell Community},
 year         = {2016},
 title        = {Haskell, an advanced, purely functional programming language},
 url          = {www.haskell.org},
)
@article(garey-jsp:76,
 author       = {M. R. Garey},
 year         = {1976},
 title        = {The Complexity of Flowshop and Jobshop Scheduling},
 journal      = {Mathematics of Operations Research},
 volume       = {1},
 number       = {2},
 pages        = {117--129},
 doi          = {10.1287/moor.1.2.117},
)
@article(garey-johnson-two-mach:77,
 author       = {M. R. Garey and D. S. Johnson},
 year         = {1977},
 title        = {Two-Processor Scheduling with Start-Times and Deadlines},
 journal      = {Siam J. Comput.},
 volume       = {6},
 number       = {3},
 pages        = {316--426},
 doi          = {10.1137/0206029},
)
@article(gustavsson-sands:99,
 author       = {J{\"{o}}rgen Gustavsson and David Sands},
 year         = {1999},
 title        = {A Foundation for Space-Safe Transformations of Call-by-Need Programs},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {26},
 pages        = {69--86},
 doi          = {10.1016/S1571-0661(05)80284-1},
)
@inproceedings(gustavsson-sands:01,
 author       = {J{\"{o}}rgen Gustavsson and David Sands},
 year         = {2001},
 title        = {Possibilities and Limitations of Call-by-Need Space Improvement},
 pages        = {265--276},
 doi          = {10.1145/507635.507667},
)
@inproceedings(peyton-gordon-finne:96,
 author       = {{Peyton Jones}, S. and A. Gordon and S. Finne},
 year         = {1996},
 title        = {Concurrent {H}askell},
 editor       = {H.-J. Boehm, Guy L. Steele Jr.},
 booktitle    = {Proc. 23th ACM Principles of Programming Languages},
 publisher    = {ACM},
 pages        = {295--308},
 doi          = {10.1145/237721.237794},
)
@inproceedings(sabel-schauss-ppdp11:2011,
 author       = {David Sabel and Schmidt{-}Schau{\ss}, Manfred},
 year         = {2011},
 title        = {A contextual semantics for concurrent {H}askell with futures},
 editor       = {Schneider{-}Kamp, Peter and Michael Hanus},
 booktitle    = {Proc. 13th {ACM} PPDP 2011},
 publisher    = {{ACM}},
 pages        = {101--112},
 doi          = {10.1145/2003476.2003492},
)
@techreport(schmidt-schauss-sabel:frank-44:11,
 author       = {David Sabel and Schmidt-Schau{\ss}, Manfred},
 year         = {2011},
 title        = {A Contextual Semantics for {C}oncurrent {H}askell with {F}utures},
 type         = {Frank report},
 number       = {44},
 institution  = {Institut f\"ur Informatik. Goethe-Universit\"at Frankfurt am Main},
 note         = {\url{http://www.ki.informatik.uni-frankfurt.de/papers/frank/}},
)
@inproceedings(schmidt-schauss-dallmeyer-wpte:17,
 author       = {Schmidt-Schau{\ss}, Manfred and Nils Dallmeyer},
 year         = {2018},
 title        = {Space Improvements and Equivalences in a Functional Core Language},
 editor       = {Horatiu Cirstea and David Sabel},
 booktitle    = {{\rm Proceedings Fourth International Workshop on} Rewriting Techniques for Program Transformations and Evaluation, {\rm Oxford, UK, 8th September 2017}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {265},
 publisher    = {Open Publishing Association},
 pages        = {98--112},
 doi          = {10.4204/EPTCS.265.8},
)
@techreport(schmidt-schauss-sabel-dallmeyer:frank-58:17,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel and Nils Dallmeyer},
 year         = {2017},
 title        = {Improvements for Concurrent {H}askell with Futures},
 type         = {Frank report},
 number       = {58},
 institution  = {Institut f\"ur Informatik. Goethe-Universit\"at Frankfurt am Main},
 note         = {\url{http://www.ki.informatik.uni-frankfurt.de/papers/frank/}},
)
@inproceedings(schmidt-schauss-sabel-dallmeyer-ppdp-18,
 author       = {Schmidt-Schau\ss, Manfred and David Sabel and Nils Dallmeyer},
 year         = {2018},
 title        = {Sequential and Parallel Improvements in a Concurrent Functional Programming Language},
 editor       = {Peter Thiemann and David Sabel},
 booktitle    = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming},
 series       = {PPDP '18},
 publisher    = {ACM, New York, USA},
 pages        = {20:1--20:13},
 doi          = {10.1145/3236950.3236952},
)