The Specification Statement,” Trans (1988)

by C C Morgan
Venue:Programming Lang. and Syst