Fundamental Theory of Ada: Type Model (2007) (via veqq) — discussion

#plt