Formal description techniques: Communica
β
G T'Hooft
π
Article
π
1987
π
Elsevier Science
π
English
β 619 KB