Construction of certain systems with two compositions Václav Havel (1965) Commentationes Mathematicae Universitatis Carolinae