Temporal Aspects of Logical Procedure Definition (1980)

by A Sernadas
Venue:Information Systems