Robuta

https://www.jcp.org/en/jsr/detail?id=236

https://www.jcp.org/en/jsr/detail?id=73

https://jcp.org/en/jsr/results?id=5754

https://www.jcp.org/en/jsr/detail?id=102

https://www.jcp.org/en/jsr/results?id=2050

https://www.college-de-france.fr/en/agenda/seminar/proving-programs-why-when-how/program-specification-construction-and-verification-the-path-of-scientific-thought-over-forty-years

https://jcp.org/en/jsr/results?id=4979

https://www.jcp.org/en/jsr/proposalDetails?id=67

https://www.jcp.org/en/jsr/results?id=950

https://www.jcp.org/en/jsr/detail?id=321

https://www.jcp.org/en/jsr/proposalDetails?id=185

https://jcp.org/en/jsr/results?id=4277

https://www.jcp.org/en/jsr/nominations?id=365

https://www.jcp.org/en/jsr/detail?id=171

https://jcp.org/en/jsr/proposalDetails?id=45

https://jcp.org/en/jsr/detail?id=289

https://www.jcp.org/en/jsr/detail?id=359

https://jcp.org/en/jsr/results?id=5885

https://jcp.org/en/jsr/detail?id=188

https://jcp.org/en/jsr/detail?id=395

https://www.jcp.org/en/jsr/stage?listBy=inactive

https://www.jcp.org/en/jsr/detail?id=256

https://www.jcp.org/en/jsr/detail?id=283

https://www.jcp.org/en/jsr/detail?id=159

https://sfia.org/about/committees/football-glove-specification-program/

https://jcp.org/en/jsr/nominations?id=351

https://www.jcp.org/en/jsr/results?id=3982

https://jcp.org/en/jsr/results?id=3768

https://www.jcp.org/en/jsr/detail?id=38

https://www.jcp.org/en/jsr/results?id=1253

https://jcp.org/en/jsr/proposalDetails?id=317

https://jcp.org/ja/jsr/results?id=5804

https://www.jcp.org/en/jsr/detail?id=187

https://www.jcp.org/en/jsr/detail?id=144

https://www.jcp.org/en/jsr/detail?id=65

https://jcp.org/en/jsr/detail?id=157

https://www.jcp.org/en/jsr/detail?id=147

https://jcp.org/en/jsr/detail?id=208

https://www.jcp.org/en/jsr/proposalDetails?id=914

https://www.jcp.org/en/jsr/proposalDetails?id=258

https://jcp.org/en/jsr/detail?id=163

https://www.jcp.org/en/jsr/results?id=2387

https://www.jcp.org/en/jsr/detail?id=168&ref=blog.ippon.fr

https://jcp.org/en/jsr/detail?id=103

https://jcp.org/en/jsr/results?id=3526

https://jcp.org/en/jsr/detail?id=80

https://jcp.org/en/jsr/results?id=5109

https://jcp.org/ja/jsr/results?id=3195

https://www.jcp.org/en/jsr/proposalDetails?id=291

https://www.jcp.org/en/jsr/results?id=1281

https://www.jcp.org/en/jsr/detail?id=294

https://www.jcp.org/en/jsr/results?id=5606

https://www.jcp.org/en/jsr/results?id=5786

https://www.jcp.org/en/jsr/results?id=4148

https://jcp.org/en/jsr/results?id=3957

https://jcp.org/en/jsr/results?id=6077

https://jcp.org/en/jsr/results?id=4237

https://jcp.org/en/jsr/detail?id=367

https://www.jcp.org/en/jsr/detail?id=211

https://jcp.org/en/jsr/results?id=2176

https://www.jcp.org/en/jsr/proposalDetails?id=197

https://www.jcp.org/en/jsr/results?id=5641

https://www.jcp.org/en/jsr/detail?id=138

https://www.jcp.org/en/jsr/results?id=6428

https://jcp.org/en/jsr/detail?id=31

https://jcp.org/en/jsr/results?id=322

https://www.jcp.org/en/jsr/detail?id=49

https://jcp.org/en/jsr/detail?id=302

https://jcp.org/en/jsr/detail?id=339

https://www.jcp.org/en/jsr/detail?id=262