The Specication Statement, Trans (1988)

by C C Morgan
Venue:Programming Lang. and Syst