System design from provably correct cons
โ
P. Hitchcock
๐
Article
๐
1985
๐
Elsevier Science
โ 904 KB