Part of the Computer Sciences Commons
Abstract state machines and the inquiry process, James K. Huggins, Charles Wallace Michigan Tech Publications
Link
Advanced Search