Modular algebraic specification of some basic geometrical constructions
Joseph A. GoguenVolume:
37
Year:
1988
Language:
english
Pages:
31
DOI:
10.1016/0004-3702(88)90052-5
File:
PDF, 1.47 MB
english, 1988