Should you like to read on Loglan and its companion Algorithmic Logic, here it is, a short list of more important papers.
(there exists a french translation of the above manual) (both texts are distributed together with this package)
Lecture Notes on Computer Science vol. 414, Springer Vlg, 1990, ISBN 3-540-52325-1
A.Szalas, J.Warpechowska,
LOGLAN,
Wydawnictwa Naukowo-Techniczne, Warszawa, 1991 ISBN 82-204-1295-1
Semantic and Implementation of Prefixing at Many Levels,
in Lecture Notes in Computer Science vol.148, Springer Verlag, Berlin, 1983, pp.45-80
Report 8410 of Institut fuer Informatik und Praktische Mathematik Christian-Albrechts-Universitaet Kiel, 1984, pp.1-68
Concatenable Type Declarations, Their Application and Implementation
in: Programming Languages and System Design, in Programming, Languages and System Design Proc. IFIP TC2 Conference (J.Bormann ed.) Dresden, 1983 North Holland, Amsterdam, 1983, pp.29-41
On inheritance Rule in Object Oriented Programming in: Advanced Programming Methodologies Academic Press, London, 1989, pp. 141-164
Storage Management
in: Advanced Programming Methodologies Academic Press, London, 1989, pp.341-366
Programmed deallocation without Dangling References,
IPL, vol. 18 1984, pp. 179-185
Concatenation of program modules, an Algebraic Approach to the Semantic and Implementation Problems,
in: Proc. Computation Theory, LNCS 208, Springer Vlg, Berlin, 1986, pp. 134-156 full text in: Report 8701 of Institut fuer Informatik und Praktische Mathematik Christian-Albrechts-Universitaet Kiel, 1987, pp.1-48
Die Korrektheit einer Implementation der Modulpraefigerung mit reiner Static Scope Semantik,
Report 8616 of Institut fuer Informatik und Praktische Mathematik
Christian-Albrechts-Universitaet Kiel, 1986, pp.1-139
On static Semantic of Prefixing (=inheritance),
Talk delivered during the Summer School on Loglan'82, Zaborow, September 1983
GPR - theorem prover 1982
On Formalisation of the Notion of Reference and its Applications in Theory of Data Structures, 1982
Application of Static Structure of Type Declarations and the System of Dynamic Configurations in a Definition of Semantics of a Universal Programming Language 1981
A logical system for reasoning about exceptions,1990
Several algorithms for optimisation of code in presence of nesting, 1988
G.Mirkowska, A.Salwicki,
Algorithmic Logic,
D.Reidel & Polish Scientific Publ., Dordrecht & Warszawa, 1987, ISBN 83-01-06859-0
the book contains a chapter devoted to certain problems of Loglan.
An english version in preparation.
Development of Software from Algorithmic Specifications
in: Advanced Programming Methodologies Academic Press, London, 1989, pp.1-40
On algorithmic theory of Stacks,
in Proc. MFCS'78 (J.Winnkowski ed.), LNCS 63, Springer Berlin 1978, pp.
On algorithmic theory of dictionaries,
Proc. Logic of Programs (E.Engeler ed.), LNCS 125, Springer, Berlin 1981 pp.145-168
On algorithmic Properties of Concurrent Programs,
in: Proc. Logic of Programs (E.Engeler ed.), LNCS 125, Springer, Berlin 1981 pp.170-193
On applications of Algorithmic Logic,
in: Proc. CAAP'86 (P. Franchi-Zanetacci ed.) Springer, 1986 pp.288-306
Axiomatic definability of programming language semantics,
in: Proc. IFIP Working Conf on Formal Description of Programming Concepts Ebberup 1986 (M. Wirsing ed.) North Holland, Amsterdam, 1986, pp1-15
On Axiomatic Definition of Max-model of concurrency,
in Proc. Advanced School on Mathematical Models of Parallelism Rome 1986 (M. Venturini-Zilli ed.) LNCS Springer Berlin
Algorithmic Theories of Data Structures,
in Proc. ICALP'82 (M.Nilsen, E.Schmidt eds.) LNCS 140 Springer, Berlin, 1982, pp. 458-472
Let us quote a few books:
see a survey