=======Template for each paper==============================
Paper Title:                Isabelle Theories for Machine Words
Journal title:            Electronic Notes in Theoretical Computer Science
Journal Acronym:          ENTCS 
First Author Initials:      JE
First Author Last Name:     Dawson
Corr Author Title:          Dr
Corr Author Initials:       JE
Corr Author Last Name:      Dawson
Corr Author Institute:      Australian National University
Corr Author Address 1:      School of Computer Science
Corr Author Address 2:      Bldg 115, Australian National University
Corr Author City:           Canberra
Corr Author Country:        Australia
Corr Author Postcode:       0200
Corr Author Phone:          02 6125 7778
Corr Author Fax:            02 6125 8651
Corr Author Email:          jeremy@rsise.anu.edu.au
=========================================================