@article{Lassen_2006,
    doi = {10.1016/j.entcs.2005.11.068},
    url = {https://doi.org/10.1016%2Fj.entcs.2005.11.068},
    year = {2006},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {155},
    pages = {445--465},
    author = {Soren B. Lassen},
    title = {Normal Form Simulation for {McCarthy}{\textquotesingle}s Amb},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Lassen_2006, doi = {10.1016/j.entcs.2005.11.068}, url = {https://doi.org/10.1016%2Fj.entcs.2005.11.068}, year = {2006}, month = {may}, publisher = {Elsevier {BV}}, volume = {155}, pages = {445--465}, author = {Soren B. Lassen}, title = {Normal Form Simulation for {McCarthy}{\textquotesingle}s Amb}, journal = {Electronic Notes in Theoretical Computer Science} }