class BOOK
creation
   make
feature
   title : STRING
   authors : STRING
   inventory : INTEGER
   make (new_title, new_authors:STRING; new_inventory:INTEGER) is
	 -- make a new book record
      require
	 title_non_void: new_title /= Void
	 authors_non_void: new_authors /= Void
      do
	 title := new_title
	 authors := new_authors
	 inventory := new_inventory
      end -- make
   print_description is
      do
	 print(title); print(", by ")
	 print(authors); print(" (")
	 print(inventory); print(")%N")
      end -- print_description
end -- BOOK