@book{DB-232-OSD,
author="Davis, Paul K. and Manuel J. Carrillo",
title="Exploratory Analysis of ''The Halt Problem": A Briefing on Methods and Initial Insights",
address="Santa Monica, CA",
year="1997",
doi="",
publisher="RAND Corporation"
}