Title: The Verification of NAMMU Using HYDROCOIN Level 1 Cases 1 and 7
First published: December 31, 1986