Comet Observations [657 Victoria]D. D. Balam, T. Lowe, James Tatum|Mathematics of Program Construction|1985Cited by 0