@techreport(BoiIOabs,
 author       = {E.A. Boiten},
 year         = {2004},
 title        = {Input/Output Abstraction of State Based Systems},
 type         = {Technical Report},
 institution  = {School of Computing, University of Kent},
 url          = {https://kar.kent.ac.uk/14143/},
)
@conference(BD05,
 author       = {E.A. Boiten and J. Derrick},
 year         = {2005},
 title        = {Formal Program Development with Approximations},
 editor       = {H. Treharne and S. King and M. Henson and S. Schneider},
 booktitle    = {ZB 2005},
 series       = {Lecture Notes in Computer Science},
 volume       = {3455},
 publisher    = {Springer},
 pages        = {375--393},
 doi          = {10.1007/11415787\unhbox\voidb@x \vbox{\hrule width0.4em}22},
)
@article(Boiten14,
 author       = {Eerke A. Boiten},
 year         = {2014},
 title        = {Google's {L}arry {P}age wants to save 100,000 lives but big data isn't a cure all},
 journal      = {The Conversation},
 url          = {https://theconversation.com/googles-larry-page-wants-to-save-100-000-lives-but-big-data-isnt-a-cure-all-28529},
)
@article(Crepeau97,
 author       = {Claude Cr{\'{e}}peau},
 year         = {1997},
 title        = {Efficient Cryptographic Protocols Based on Noisy Channels},
 journal      = {{IACR} Cryptology ePrint Archive},
 volume       = {1997},
 pages        = {3},
 url          = {http://eprint.iacr.org/1997/003},
)
@book(DB14,
 author       = {J. Derrick and E.A. Boiten},
 year         = {2014},
 title        = {Refinement in Z and Object-Z: Foundations and Advanced Applications},
 edition      = {2nd},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4471-5355-9},
)
@inproceedings(DBLP:conf/ipps/Kusakabe11,
 author       = {Shigeru Kusakabe},
 year         = {2011},
 title        = {Large Volume Testing for Executable Formal Specification Using Hadoop},
 booktitle    = {25th {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings},
 publisher    = {{IEEE}},
 pages        = {1250--1257},
 doi          = {10.1109/IPDPS.2011.278},
 url          = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6008655},
)
@techreport(Laney01,
 author       = {D. Laney},
 year         = {2001},
 title        = {3D Data Management: Controlling Data Volume, Velocity, and Variety},
 type         = {Application Delivery Strategies},
 institution  = {Meta Group},
 url          = {http://blogs.gartner.com/doug-laney/files/2012/01/ad949-3D-Data-Management-Controlling-Data-Volume-Velocity-and-Variety.pdf},
)
@book(McIverMorgan04,
 author       = {A. McIver and C. Morgan},
 year         = {2004},
 title        = {Abstraction, Refinement and Proof for Probabilistic Systems},
 publisher    = {Springer},
)
@incollection(Ono11,
 author       = {Kosuke Ono and Yoichi Hirai and Yoshinori Tanabe and Natsuko Noda and Masami Hagiya},
 year         = {2011},
 title        = {Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications},
 editor       = {Gilles Barthe and Alberto Pardo and Gerardo Schneider},
 booktitle    = {Software Engineering and Formal Methods},
 series       = {Lecture Notes in Computer Science},
 volume       = {7041},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {350--365},
 doi          = {10.1007/978-3-642-24690-6\unhbox\voidb@x \vbox{\hrule width0.4em}24},
)
@book(Pasquale15,
 author       = {Frank Pasquale},
 year         = {2015},
 title        = {The Black Box Society},
 publisher    = {Harvard Press},
 doi          = {10.4159/harvard.9780674736061},
)
@inproceedings(DBLP:conf/services/ReddyFLD0K13,
 author       = {G. Satya Reddy and Yuzhang Feng and Yang Liu and Jin Song Dong and Jun Sun and Rajaraman Kanagasabai},
 year         = {2013},
 title        = {Towards Formal Modeling and Verification of Cloud Architectures: {A} Case Study on Hadoop},
 booktitle    = {{IEEE} Ninth World Congress on Services, {SERVICES} 2013, Santa Clara, CA, USA, June 28 - July 3, 2013},
 publisher    = {{IEEE} Computer Society},
 pages        = {306--311},
 doi          = {10.1109/SERVICES.2013.47},
 url          = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596100},
)
@inproceedings(DBLP:conf/tase/SuYZL09,
 author       = {Wen Su and Fan Yang and Huibiao Zhu and Qin Li},
 year         = {2009},
 title        = {Modeling MapReduce with {CSP}},
 editor       = {Wei{-}Ngan Chin and Shengchao Qin},
 booktitle    = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China},
 publisher    = {{IEEE} Computer Society},
 pages        = {301--302},
 doi          = {10.1109/TASE.2009.28},
 url          = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5198469},
)
@article(Ying03,
 author       = {M. Ying},
 year         = {2003},
 title        = {Reasoning about probabilistic sequential programs in a probabilistic logic},
 journal      = {Acta Informatica},
 volume       = {39},
 number       = {5},
 pages        = {315--389},
 doi          = {10.1007/s00236-003-0113-z},
)
@book(Borgesius15,
 author       = {{Zuiderveen Borgesius}, Frederik J.},
 year         = {2015},
 title        = {Improving privacy protection in the area of behavioural targeting},
 publisher    = {Wolters Kluwer},
)