Formalization of storage properties (1971)

by H Bekič, K Walk
Venue:In [Eng71