On the formalisation of European legal rules - Polčák, Radim, 1978-