@book{Schiff2013,
  title={The Laplace transform: theory and applications},
  author={Schiff, Joel L},
  year={1999},
  publisher={Springer New York},
  doi={https://doi.org/10.1007/978-0-387-22757-3}
}
@InProceedings{Taqdees2013,
author="Taqdees, Syeda Hira
and Hasan, Osman",
editor="McMillan, Ken
and Middeldorp, Aart
and Voronkov, Andrei",
title="Formalization of {Laplace} Transform Using the Multivariable Calculus Theory of {HOL-Light}",
booktitle="Logic for Programming, Artificial Intelligence, and Reasoning",
year="2013",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="744--758"
}
@InProceedings{Rashid2017,
author="Rashid, Adnan
and Hasan, Osman",
editor="Geuvers, Herman
and England, Matthew
and Hasan, Osman
and Rabe, Florian
and Teschke, Olaf",
title="Formalization of Transform Methods Using {HOL Light}",
booktitle="Intelligent Computer Mathematics",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="319--332",
}
@article{Rashid2018,
  author    = {Adnan Rashid and
               Osman Hasan},
  title     = {Formalization of {Lerch}'s Theorem using {HOL} {Light}},
  journal   = {{FLAP}},
  volume    = {5},
  number    = {8},
  pages     = {1623--1652},
  year      = {2018},
  url       = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf},
}