Books from amazon:
 
 

tuga

Tuga is a small, opinionated, statically-typed scripting language that is oriented around OOP and getting things done.  It has some aspects of Ruby, Python, Java, and ECMAScript but aims to be better than all these at building large-scale systems while still being good for quick scripts.

Pooi

Pooi is an object interpeter. The employment of Pooi, from a didactic perspective, is interesting for students in order to check the behaviour of a prototype-based object-oriented system.

Stab

Stab is a multi-paradigm programming language designed for the Java Virtual Machine. It features JVM compatibility, implicitly typed variables, delegates, Lambda expressions, iterator blocks, Extension methods, properties and indexers, anonymous objects, language integrated queries and automatic resources management.

OpenT - Object Oriented Turing

OpenT is a 99% Object Oriented Turing (OOT) backward compatible programming language.

xUmlCompiler

The xUmlCompiler is an executable UML environment which turns data models specified with UML into executable classes.

javachatty

javachatty is a Smalltalk dialect with complete Java integration.

PROLOG+CG

PROLOG+CG is a logic programming language that integrates PROLOG, Conceptual Graph, Object-oriented programming and JAVA

jklasy

The mini-language Klasy is a simple object language. jklasy is a Klasy to java bytecode compiler. More on Klasy language can be found in Henry F. Legard book, “The Little Book of Object-Oriented Programming”.

Fan

Fan is an OO languages with static and dynamic typing. It compiles to an intermediate bytecode which can be translated to JVM code (and .NET code). Amongst its features are mixins, functions and closures.

Java Modeling Language (JML)

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus.