Title: Formal Documentation of a Block Storage Service
First published: 1987