@inproceedings{3813,
  title = "A systematic derivation of the STG machine verified in Coq",
  author = "Maciej Pirog and Dariusz Biernacki",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell",
  isbn = "978-1-4503-0252-4",
  location = "Baltimore, Maryland, USA",
  pages = "25--36",
  publisher = "ACM",
}