This is an old revision of the document!

@title@

Authors: @authors@ @caption@
Editors: @editors@
Publisher: @publisher@, @publisher_address@
Series: @series@
Date: @date@
ISBN: @isbn@