An Automatically Refereed Scholarly Electronic Journal: Formal Specifications. - Stefano Mizzaro; Paolo Zandegiacomo Rizio (Informatica (Slovenia), 2000)