Title: Verification of NAMMU Using HYDROCOIN Level 1 Case 2
First published: December 31, 1985