Return to Issue Details Alex Trochut: rigour and expressiveness Download Download PDF