According to our database1, Hayao Nakahara authored at least 2 papers between 1977 and 1980.
Legend:Book In proceedings Article PhD thesis Other
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Acta Inf., 1980
Describing and Verifying Programs with Abstract Data Types.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977